Intersection types and termination properties

DOI10.3233/FI-2012-775MaRDI QIDQ4903718zbMATH OpenOpenAlexFDO

Authors George Koletsos

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

zbMATH Keywords

conservationintersection typeslambda-calculusterminationtype assignment

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Compositional characterisations of \(\lambda\)-terms using intersection types
• Compositional characterizations of -terms using intersection types (extended abstract)
• Strong normalization and typability with intersection types
• Intersection types for λGtz-calculus
• Complete restrictions of the intersection type discipline

Cited in

(16)

• Intersection type assignment systems
• Intersection and singleton type assignment characterizing finite Böhm-trees
• Characterizing convergent terms in object calculi via intersection types
• Reducibility: a ubiquitous method in lambda calculus with intersection types
• Disjoint intersection types
• Partial Types and Intervals
• scientific article; zbMATH DE number 5558176 (Why is no real title available?)
• scientific article; zbMATH DE number 3557747 (Why is no real title available?)
• Compositional characterizations of -terms using intersection types (extended abstract)
• Type assignment and conservation properties
• scientific article; zbMATH DE number 1929308 (Why is no real title available?)
• Intersection types for unboundedness problems
• Intersection and union types
• Infinitary intersection types as sequences. A new answer to Klop's problem
• Semi-continuous Sized Types and Termination
• Types by need

This page was built for publication: Intersection types and termination properties

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