The following pages link to (Q4880706):
Displaying 5 items.
- Type inference for pure type systems (Q1271309) (← links)
- Semantical analysis of perpetual strategies in \(\lambda\)-calculus (Q1275628) (← links)
- Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
- Compositional characterisations of \(\lambda\)-terms using intersection types (Q2566033) (← links)
- On the longest perpetual reductions in orthogonal expression reduction systems (Q5958775) (← links)
