Pages that link to "Item:Q1583485"
From MaRDI portal
The following pages link to From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485):
Displayed 6 items.
- An irregular filter model (Q930872) (← links)
- Building continuous webbed models for system F (Q1826624) (← links)
- Easiness in graph models (Q2368937) (← links)
- Compositional characterisations of \(\lambda\)-terms using intersection types (Q2566033) (← links)
- Graph lambda theories (Q3535680) (← links)
- A Relational Model of a Parallel and Non-deterministic λ-Calculus (Q3605523) (← links)