Pages that link to "Item:Q1434350"
From MaRDI portal
The following pages link to Behavioural inverse limit \(\lambda\)-models (Q1434350):
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)
- Intersection types and domain operators (Q1434348) (← links)
- Intersection types and lambda models (Q2369008) (← links)
- Logical Semantics for Stability (Q2805169) (← links)
- Intersection Types for the Resource Control Lambda Calculi (Q3105748) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Recursive Domain Equations of Filter Models (Q5448641) (← links)
