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

conservationlambda-calculusterminationtype assignmentintersection types

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
• scientific article; zbMATH DE number 1759417
• Strong normalization and typability with intersection types
• Intersection types for λGtz-calculus
• Complete restrictions of the intersection type discipline

Cited in

(15)

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

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)