Intersection and union types in the -calculus

zbMATH Open1272.03078MaRDI QIDQ2851091FDOQ2851091

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

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (15)

• Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• A Translation of Intersection and Union Types for the λμ-Calculus
• Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage
• Intersection and union types for \(\mathcal{X}\)
• Hyperformulae, parallel deductions and intersection types

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)