The following pages link to (Q3221960):
Displayed 4 items.
- On combinatory algebras and their expansions (Q760416) (← links)
- Type theories, normal forms, and \(D_{\infty}\)-lambda-models (Q1102936) (← links)
- The differential \(\lambda \mu\)-calculus (Q2373711) (← links)
- Compositional characterisations of \(\lambda\)-terms using intersection types (Q2566033) (← links)