Erika De Benedetti (Università degli Studi di Torino) |
Simona Ronchi Della Rocca (Università degli Studi di Torino) |
Non-idempotent intersection types are used in order to give a bound of the length of the normalization beta-reduction sequence of a lambda term: namely, the bound is expressed as a function of the size of the term. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.121.4 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |