Pages that link to "Item:Q1092042"
From MaRDI portal
The following pages link to Strong normalization for typed terms with surjective pairing (Q1092042):
Displaying 7 items.
- On the syntax of Martin-Löf's type theories (Q1099173) (← links)
- A linear logical framework (Q1400718) (← links)
- How to think of intersection types as Cartesian products (Q1744395) (← links)
- Surplus extraction with rich type spaces (Q2434246) (← links)
- Simulating expansions without expansions (Q4322432) (← links)
- A confluent reduction for the extensional typed λ-calculus with pairs, sums, recursion and terminal object (Q4630299) (← links)
- A confluent reduction for the λ-calculus with surjective pairing and terminal object (Q4895554) (← links)