Pages that link to "Curry–Howard correspondence"
The following pages link to Curry–Howard correspondence:
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Currying (← links)
- Logical disjunction (← links)
- Modus ponens (← links)
- Quantum information (← links)
- Haskell Curry (← links)
- Intuitionistic logic (← links)
- CH (← links)
- Curry-Howard correspondence (redirect page) (← links)
- Associative property (← links)
- Logical conjunction (← links)
- History of logic (← links)
- Proof theory (← links)
- Cartesian closed category (← links)
- Pattern matching (← links)
- Correctness (computer science) (← links)
- Category:Logic in computer science (← links)
- Call-with-current-continuation (← links)
- Infogalactic:Reference desk/Archives/Mathematics/2009 November 8 (← links)
- Infogalactic:Reference desk/Archives/Mathematics/2009 November 13 (← links)
- Logic in computer science (← links)
- First-class function (← links)
- Hilbert system (← links)
- Infogalactic:Reference desk/Archives/Mathematics/2010 March 6 (← links)
- Function application (← links)
- Option type (← links)
- Per Martin-Löf (← links)
- Brouwer–Heyting–Kolmogorov interpretation (← links)
- Propositions as types principle (redirect page) (← links)
- Constructive proof (← links)
- Curry-Howard Isomorphism (redirect page) (← links)
- Curry–Howard isomorphism (redirect page) (← links)
- Functional programming (← links)
- Lambda calculus (← links)
- Intuitionism (← links)
- Mathematical logic (← links)
- Natural deduction (← links)
- Combinatory logic (← links)
- Intuitionistic logic (← links)
- Heyting algebra (← links)
- Intuitionistic type theory (← links)
- List of mathematical logic topics (← links)
- Proof by exhaustion (← links)
- Calculus of constructions (← links)
- Continuation-passing style (← links)
- System F (← links)
- Cut-elimination theorem (← links)
- Proof-theoretic semantics (← links)
- Deduction theorem (← links)
- Curry-Howard Correspondence (redirect page) (← links)
- Coq (← links)
- Structural rule (← links)
- Setoid (← links)
- Bunched logic (← links)
- Curry-Howard isomorphism (redirect page) (← links)
- Matita (← links)
- Formulae-as-types correspondence (redirect page) (← links)
- Programming language theory (← links)
- Bottom type (← links)
- Curry Howard isomorphism (redirect page) (← links)
- Automath (← links)
- Pure type system (← links)
- Infogalactic:WikiProject Mathematics/List of mathematics articles (C) (← links)
- Homotopy type theory (← links)
