Pages that link to "Item:Q1275628"
From MaRDI portal
The following pages link to Semantical analysis of perpetual strategies in \(\lambda\)-calculus (Q1275628):
Displaying 9 items.
- An irregular filter model (Q930872) (← links)
- Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
- Conservation and uniform normalization in lambda calculi with erasing reductions (Q1854562) (← links)
- Intersection types and lambda models (Q2369008) (← links)
- Compositional characterisations of \(\lambda\)-terms using intersection types (Q2566033) (← links)
- Simple Easy Terms (Q2842831) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Intersection Types and Computational Rules (Q4924527) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)
