Pages that link to "Curry-Howard correspondence"
The following pages link to Curry-Howard correspondence:
Displaying 18 items.
- Mathematical Logic (← links)
- Intuitionistic Logic (← links)
- Constructive mathematics (← links)
- Model-theoretic semantics (← links)
- Category theory (← links)
- Mathematical intuitionism (← links)
- Arend Heyting (← links)
- Christopher Strachey (← links)
- Lambda calculus (← links)
- Simply typed lambda calculus (← links)
- Formal language (← links)
- Formal verification (← links)
- Intuitionistic logic (← links)
- Natural Deduction (← links)
- Specification language (← links)
- Coq (← links)
- Type system (← links)
- Talk:Formal methods (← links)