Pages that link to "Item:Q1381437"
From MaRDI portal
The following pages link to The ``relevance'' of intersection and union types (Q1381437):
Displaying 8 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- A typed lambda calculus with intersection types (Q930870) (← links)
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- A binary modal logic for the intersection types of lambda-calculus. (Q1427854) (← links)
- The Relevance of Semantic Subtyping (Q2842838) (← links)
- A Realizability Interpretation for Intersection and Union Types (Q3179292) (← links)
- Inhabitation of Low-Rank Intersection Types (Q3637206) (← links)
- Full intersection types and topologies in lambda calculus (Q5943119) (← links)
