Pages that link to "Curry–Howard correspondence"
Jump to navigation
Jump to search
The following pages link to Curry–Howard correspondence:
Displaying 33 items.
- Associative property (← links)
- Currying (← links)
- Logical disjunction (← links)
- Logical conjunction (← links)
- Modus ponens (← links)
- Mathematical logic (← links)
- Type theory (← links)
- History of logic (← links)
- Intuitionistic logic (← links)
- Proof theory (← links)
- Constructive proof (← links)
- Typing rule (← links)
- Tagged union (← links)
- Deduction theorem (← links)
- Structural rule (← links)
- Bunched logic (← links)
- Brouwer–Heyting–Kolmogorov interpretation (← links)
- Epigram (programming language) (← links)
- Dependent type (← links)
- William Alvin Howard (← links)
- Agda (programming language) (← links)
- Constructive set theory (← links)
- Realizability (← links)
- Pure type system (← links)
- Function application (← links)
- Option type (← links)
- Inductive type (← links)
- Empty type (← links)
- Minimal logic (← links)
- Homotopy type theory (← links)
- Exportation (logic) (← links)
- System U (← links)
- General Concept Lattice (← links)