Intersection Types with Subtyping by Means of Cut Elimination

DOI10.3233/FI-2012-776zbMath1408.03007OpenAlexW1548925708MaRDI QIDQ4903719

Olivier Laurent

Publication date: 24 January 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2012-776

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Judgmental subtyping systems with intersection types and modal types ⋮ Taming the Merge Operator

This page was built for publication: Intersection Types with Subtyping by Means of Cut Elimination