Pages that link to "Curry–Howard correspondence"
The following pages link to Curry–Howard correspondence:
Displaying 13 items.
- Associative property (← links | edit)
- Automated theorem proving (← links | edit)
- Currying (← links | edit)
- Logical disjunction (← links | edit)
- Logical conjunction (← links | edit)
- Modus ponens (← links | edit)
- Mathematical logic (← links | edit)
- Type theory (← links | edit)
- Haskell Curry (← links | edit)
- Dialectic (← links | edit)
- History of logic (← links | edit)
- Intuitionistic logic (← links | edit)
- Proof theory (← links | edit)