Pages that link to "Curry–Howard correspondence"
Jump to navigation
Jump to search
The following pages link to Curry–Howard correspondence:
Displaying 37 items.
- Associative property (← links)
- Automated theorem proving (← links)
- Currying (← links)
- Logical disjunction (← links)
- Logical conjunction (← links)
- Modus ponens (← links)
- Mathematical logic (← links)
- Type theory (← links)
- Haskell Curry (← links)
- Vacuous truth (← links)
- Dialectic (← links)
- History of logic (← links)
- Intuitionistic logic (← links)
- Proof theory (← links)
- CH (← links)
- Pattern matching (← links)
- Correctness (computer science) (← links)
- Constructive proof (← links)
- Curry-Howard Isomorphism (redirect page) (← links)
- Typing rule (← links)
- Tagged union (← links)
- Deduction theorem (← links)
- Rocq (← links)
- Constructive logic (← links)
- List of functional programming topics (← links)
- Structural rule (← links)
- List of eponyms (A–K) (← links)
- Setoid (← links)
- Cut-elimination theorem (← links)
- Bunched logic (← links)
- Curry-Howard isomorphism (redirect page) (← links)
- Structural proof theory (← links)
- Call-with-current-continuation (← links)
- Normal form (natural deduction) (← links)
- Logic in computer science (← links)
- First-class function (← links)
- Formulae-as-types correspondence (redirect page) (← links)