Pages that link to "Item:Q1924327"
From MaRDI portal
The following pages link to Strong normalization and typability with intersection types (Q1924327):
Displaying 8 items.
- Cut-elimination in the strict intersection type assignment system is strongly normalizing (Q558418) (← links)
- Behavioural inverse limit \(\lambda\)-models (Q1434350) (← links)
- Intersection types for explicit substitutions (Q1887145) (← links)
- Term-space semantics of typed lambda calculus (Q1981989) (← links)
- Compositional characterisations of \(\lambda\)-terms using intersection types (Q2566033) (← links)
- Reducibility (Q2842839) (← links)
- Intersection Types for the Resource Control Lambda Calculi (Q3105748) (← links)
- Full intersection types and topologies in lambda calculus (Q5943119) (← links)
