Full intersection types and topologies in lambda calculus

DOI10.1006/JCSS.2000.1703zbMath0990.68033OpenAlexW2090839137MaRDI QIDQ5943119

Silvia Ghilezan

Publication date: 14 August 2002

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jcss.2000.1703

zbMATH Keywords

lambda calculuslambda terms

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Unnamed Item
• Unnamed Item
• Principal type schemes for an extended type theory
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The ``relevance of intersection and union types
• Strong normalization and typability with intersection types
• A filter lambda model and the completeness of type assignment

This page was built for publication: Full intersection types and topologies in lambda calculus