Intersection and union types in the -calculus

MaRDI QIDQ2851091zbMATH OpenFDO

Authors Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne

Publication date 2 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050644

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• A Translation of Intersection and Union Types for the λμ-Calculus
• Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\)
• Intersection types for the -calculus
• Sound and complete typing for \(\lambda\mu\)
• Types for Proofs and Programs

Cited in

(15)

• Compositional characterisations of \(\lambda\)-terms using intersection types
• A Translation of Intersection and Union Types for the λμ-Calculus
• Intersection and union types for \(\mathcal{X}\)
• A Filter Model for the λμ-Calculus
• Logic and computation in a lambda calculus with intersection and union types
• Intersection types for λGtz-calculus
• Intersection types for the -calculus
• scientific article; zbMATH DE number 1361533 (Why is no real title available?)
• Hyperformulae, parallel deductions and intersection types
• Sound and complete typing for \(\lambda\mu\)
• The duality of classical intersection and union types
• Types for Proofs and Programs
• scientific article; zbMATH DE number 2242600 (Why is no real title available?)
• Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\)
• Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage

This page was built for publication: Intersection and union types in the \(\bar{\lambda}\mu\tilde{\mu}\)-calculus

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