Pages that link to "Item:Q1198661"
From MaRDI portal
The following pages link to An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus (Q1198661):
Displayed 17 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)
- Infinite \(\lambda\)-calculus and types (Q1275621) (← links)
- Semantical analysis of perpetual strategies in \(\lambda\)-calculus (Q1275628) (← links)
- Set-theoretical and other elementary models of the \(\lambda\)-calculus (Q1314361) (← links)
- Intersection types and domain operators (Q1434348) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- Order-incompleteness and finite lambda reduction models (Q1884896) (← links)
- Easiness in graph models (Q2368937) (← links)
- Intersection types and lambda models (Q2369008) (← links)
- Compositional characterisations of \(\lambda\)-terms using intersection types (Q2566033) (← links)
- Graph lambda theories (Q3535680) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- The interpretation of unsolvable <i>λ</i>-terms in models of untyped <i>λ</i>-calculus (Q4254697) (← links)
- Call-by-value Solvability (Q4953339) (← links)
- Recursive Domain Equations of Filter Models (Q5448641) (← links)
- On the construction of stable models of untyped \(\lambda\)-calculus (Q5958611) (← links)