The following pages link to (Q4101793):
Displayed 4 items.
- Expressive power of typed and type-free programming languages (Q761790) (← links)
- Type theories, normal forms, and \(D_{\infty}\)-lambda-models (Q1102936) (← links)
- Fully abstract models of typed \(\lambda\)-calculi (Q1249567) (← links)
- A type-theoretical alternative to ISWIM, CUCH, OWHY (Q1314363) (← links)