Lower and upper bounds for reductions of types in λω and λP
Publication date
1992-12
Authors
J. Springintveld
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
Abstract
For several important systems of the λ-cube we study the time-complexity of type conversion.