Pages that link to "Curry–Howard correspondence"
From HandWiki
The following pages link to Curry–Howard correspondence:
Displayed 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Associative property (← links)
- Bunched logic (← links)
- Correctness (computer science) (← links)
- Epigram (programming language) (← links)
- Function application (← links)
- Mathematical logic (← links)
- Setoid (← links)
- Logical conjunction (← links)
- Logical disjunction (← links)
- Proof theory (← links)
- Pattern matching (← links)
- Up tack (← links)
- Bottom type (← links)
- Call-with-current-continuation (← links)
- Option type (← links)
- Tagged union (← links)
- Type rule (← links)
- First-class function (← links)
- Product type (← links)
- Homotopy type theory (← links)
- Deduction theorem (← links)
- Dependent type (← links)
- Constructive set theory (← links)
- Automated theorem proving (← links)
- Structural rule (← links)
- Hilbert system (← links)
- Modus ponens (← links)
- History of type theory (← links)
- Type theory (← links)
- Realizability (← links)
- Intuitionistic logic (← links)
- System U (← links)
- Pure type system (← links)
- Minimal logic (← links)
- Inductive type (← links)
- Constructive proof (← links)
- Brouwer–Heyting–Kolmogorov interpretation (← links)
- List of functional programming topics (← links)
- Currying (← links)
- Programming language theory (← links)
- Logic in computer science (← links)
- Typing rule (← links)
- Empty type (← links)
- Philosophy:Double-negation translation (← links)
- Philosophy:History of logic (← links)
- Philosophy:Exportation (logic) (← links)
- Biography:Ruy de Queiroz (← links)
- Biography:Per Martin-Löf (← links)
- Biography:William Alvin Howard (← links)
- Biography:Haskell Curry (← links)
