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 \(\lambda\mu\)-calculus
• Sound and complete typing for \(\lambda\mu\)
• Types for Proofs and Programs

Cited in

(15)

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

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)