Intersection types via finite-set declarations

DOI10.1007/978-3-031-62687-6_6MaRDI QIDQ7034652zbMATH OpenFDO

Authors Fairouz Kamareddine, J. B. Wells

Publication date 31 January 2025

Full work available at URL https://doi.org/10.1007/978-3-031-62687-6_6

zbMATH Keywords

intersection typesstrong normalisationtypability

Mathematics Subject Classification ID

Type theory (03B38) Combinatory logic and lambda calculus (03B40)

Cites work

• A calculus with polymorphic and polyvariant flow types
• A typed lambda calculus with intersection types
• An extension of basic functionality theory for -calculus
• Elaborating intersection and union types
• scientific article; zbMATH DE number 445157 (Why is no real title available?)
• scientific article; zbMATH DE number 954811 (Why is no real title available?)
• scientific article; zbMATH DE number 3657760 (Why is no real title available?)
• scientific article; zbMATH DE number 1499107 (Why is no real title available?)
• scientific article; zbMATH DE number 2087541 (Why is no real title available?)
• scientific article; zbMATH DE number 1841834 (Why is no real title available?)
• Hyperformulae, parallel deductions and intersection types
• Intersection typed -calculus
• Intersection Types as Logical Formulae
• Intersection-types à la Church
• The Barendregt cube with definitions and generalised reduction
• Type reconstruction in F_ω

This page was built for publication: Intersection types via finite-set declarations

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