Search

Your search keyword '"Erika De Benedetti"' showing total 6 results
Start Over Author "Erika De Benedetti"
6 results on '"Erika De Benedetti"'

1. Bounding normalization time through intersection types

Author

Erika De Benedetti and Simona Ronchi Della Rocca

Subjects
Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
Abstract

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.

Published
2013
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results