Pages that link to "Item:Q2566033"
From MaRDI portal
The following pages link to Compositional characterisations of \(\lambda\)-terms using intersection types (Q2566033):
Displaying 8 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- An irregular filter model (Q930872) (← links)
- Pre-grammars and inhabitation for a subset of rank 2 intersection types (Q2333664) (← links)
- Intersection types and lambda models (Q2369008) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Execution time of λ-terms via denotational semantics and intersection types (Q4577984) (← links)
- Recursive Domain Equations of Filter Models (Q5448641) (← links)
- Types for Hereditary Head Normalizing Terms (Q5458437) (← links)
