Pages that link to "Item:Q1381437"
From MaRDI portal
The following pages link to The ``relevance'' of intersection and union types (Q1381437):
Displaying 4 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)
- Full intersection types and topologies in lambda calculus (Q5943119) (← links)
