On realisability semantics for intersection types with expansion variables

DOI10.3233/FI-2012-774MaRDI QIDQ4903717zbMATH OpenOpenAlexFDO

Authors Fairouz Kamareddine, Vincent Rahli, J. B. Wells, Karim Nour

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-774

zbMATH Keywords

completenessexpansion variablesintersection typesrealisability semantics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables
• Expansion: the crucial mechanism for type inference with intersection types: a survey and explanation
• Programming Languages and Systems
• The algebra of expansion
• Intersection types for explicit substitutions

Cited in

(5)

• Implementing compositional analysis using intersection types with expansion variables
• Expansion: the crucial mechanism for type inference with intersection types: a survey and explanation
• Programming Languages and Systems
• A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables
• A completeness result for a realisability semantics for an intersection type system

This page was built for publication: On realisability semantics for intersection types with expansion variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4903717)