Pages that link to "Item:Q2851091"

The following pages link to Intersection and union types in the \(\bar{\lambda}\mu\tilde{\mu}\)-calculus (Q2851091):

Displaying 9 items.

• Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
• Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
• Compositional characterisations of \(\lambda\)-terms using intersection types (Q2566033) (← links)
• A Translation of Intersection and Union Types for the λμ-Calculus (Q2789043) (← links)
• Intersection and union types for \(\mathcal{X}\) (Q2851093) (← links)
• A Filter Model for the λμ-Calculus (Q3007668) (← links)
• Intersection types for λGtz-calculus (Q3510443) (← links)
• (Q4699351) (← links)
• Types for Proofs and Programs (Q5712307) (← links)