Pages that link to "Curry-Howard-Lambek correspondence"
The following pages link to Curry-Howard-Lambek correspondence:
Displayed 14 items.
- Turing machine (← links)
- Category theory (← links)
- Relational algebra (← links)
- Curry-Howard Isomorphism (redirect page) (← links)
- Curry-Howard isomorphism (redirect page) (← links)
- Short theorem prover (← links)
- Alpha conversion (← links)
- Beta reduction (← links)
- Eta conversion (← links)
- Lambda abstraction (← links)
- Lambda calculus (← links)
- Descriptions of Turing machines inspired by combinatory logic (← links)
- User:BrettGiles (← links)
- Template:Foundations infobox (← links)