Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Curry–Howard_correspondence> }
- Haskell_Curry knownFor Curry–Howard_correspondence.
- C-H-L_correspondence wikiPageRedirects Curry–Howard_correspondence.
- C-H-L_equivalence wikiPageRedirects Curry–Howard_correspondence.
- C-H-L_isomorphism wikiPageRedirects Curry–Howard_correspondence.
- C-H_correspondence wikiPageRedirects Curry–Howard_correspondence.
- C-H_isomorphism wikiPageRedirects Curry–Howard_correspondence.
- C.H.L._correspondence wikiPageRedirects Curry–Howard_correspondence.
- C.H.L._equivalence wikiPageRedirects Curry–Howard_correspondence.
- C.H.L._isomorphism wikiPageRedirects Curry–Howard_correspondence.
- C.H._correspondence wikiPageRedirects Curry–Howard_correspondence.
- C.H._equivalence wikiPageRedirects Curry–Howard_correspondence.
- C.H._isomorphism wikiPageRedirects Curry–Howard_correspondence.
- CHL_correspondence wikiPageRedirects Curry–Howard_correspondence.
- CHL_equivalence wikiPageRedirects Curry–Howard_correspondence.
- CHL_isomorphism wikiPageRedirects Curry–Howard_correspondence.
- CH_correspondence wikiPageRedirects Curry–Howard_correspondence.
- CH_equivalence wikiPageRedirects Curry–Howard_correspondence.
- CH_isomorphism wikiPageRedirects Curry–Howard_correspondence.
- Curry-Howard wikiPageRedirects Curry–Howard_correspondence.
- Curry-Howard_Correspondence wikiPageRedirects Curry–Howard_correspondence.
- Curry-Howard_Isomorphism wikiPageRedirects Curry–Howard_correspondence.
- Curry-Howard_correspondence wikiPageRedirects Curry–Howard_correspondence.
- Curry-Howard_equivalence wikiPageRedirects Curry–Howard_correspondence.
- Curry-Howard_isomorphism wikiPageRedirects Curry–Howard_correspondence.
- Curry_Howard wikiPageRedirects Curry–Howard_correspondence.
- Curry_Howard_isomorphism wikiPageRedirects Curry–Howard_correspondence.
- Curry–Howard wikiPageRedirects Curry–Howard_correspondence.
- Curry–Howard_equivalence wikiPageRedirects Curry–Howard_correspondence.
- Curry–Howard_isomorphism wikiPageRedirects Curry–Howard_correspondence.
- Curry–Howard–Lambek_correspondence wikiPageRedirects Curry–Howard_correspondence.
- Curry–Howard–Lambek_isomorphism wikiPageRedirects Curry–Howard_correspondence.
- C–H_correspondence wikiPageRedirects Curry–Howard_correspondence.
- C–H_equivalence wikiPageRedirects Curry–Howard_correspondence.
- C–H_isomorphism wikiPageRedirects Curry–Howard_correspondence.
- Formulae-as-types wikiPageRedirects Curry–Howard_correspondence.
- Formulae-as-types_correspondence wikiPageRedirects Curry–Howard_correspondence.
- Formulae_as_types wikiPageRedirects Curry–Howard_correspondence.
- Programs-as-proofs wikiPageRedirects Curry–Howard_correspondence.
- Programs_as_proofs wikiPageRedirects Curry–Howard_correspondence.
- Proofs-as-Programs_interpretation wikiPageRedirects Curry–Howard_correspondence.
- Proofs-as-programs wikiPageRedirects Curry–Howard_correspondence.
- Proofs-as-programs_interpretation wikiPageRedirects Curry–Howard_correspondence.
- Proofs_as_Programs_interpretation wikiPageRedirects Curry–Howard_correspondence.
- Proofs_as_programs wikiPageRedirects Curry–Howard_correspondence.
- Proofs_as_programs_interpretation wikiPageRedirects Curry–Howard_correspondence.
- Propositions-as-Types wikiPageRedirects Curry–Howard_correspondence.
- Propositions-as-Types_interpretation wikiPageRedirects Curry–Howard_correspondence.
- Propositions-as-types wikiPageRedirects Curry–Howard_correspondence.
- Propositions-as-types_interpretation wikiPageRedirects Curry–Howard_correspondence.
- Propositions_as_Types wikiPageRedirects Curry–Howard_correspondence.
- Propositions_as_Types_interpretation wikiPageRedirects Curry–Howard_correspondence.
- Propositions_as_types wikiPageRedirects Curry–Howard_correspondence.
- Propositions_as_types_interpretation wikiPageRedirects Curry–Howard_correspondence.
- Propositions_as_types_principle wikiPageRedirects Curry–Howard_correspondence.
- Associative_property wikiPageWikiLink Curry–Howard_correspondence.
- Automath wikiPageWikiLink Curry–Howard_correspondence.
- Bottom_type wikiPageWikiLink Curry–Howard_correspondence.
- Brouwer–Heyting–Kolmogorov_interpretation wikiPageWikiLink Curry–Howard_correspondence.
- Bunched_logic wikiPageWikiLink Curry–Howard_correspondence.
- C-H-L_correspondence wikiPageWikiLink Curry–Howard_correspondence.
- C-H-L_equivalence wikiPageWikiLink Curry–Howard_correspondence.
- C-H-L_isomorphism wikiPageWikiLink Curry–Howard_correspondence.
- C-H_correspondence wikiPageWikiLink Curry–Howard_correspondence.
- C-H_isomorphism wikiPageWikiLink Curry–Howard_correspondence.
- C.H.L._correspondence wikiPageWikiLink Curry–Howard_correspondence.
- C.H.L._equivalence wikiPageWikiLink Curry–Howard_correspondence.
- C.H.L._isomorphism wikiPageWikiLink Curry–Howard_correspondence.
- C.H._correspondence wikiPageWikiLink Curry–Howard_correspondence.
- C.H._equivalence wikiPageWikiLink Curry–Howard_correspondence.
- C.H._isomorphism wikiPageWikiLink Curry–Howard_correspondence.
- CH wikiPageWikiLink Curry–Howard_correspondence.
- CHL_correspondence wikiPageWikiLink Curry–Howard_correspondence.
- CHL_equivalence wikiPageWikiLink Curry–Howard_correspondence.
- CHL_isomorphism wikiPageWikiLink Curry–Howard_correspondence.
- CH_correspondence wikiPageWikiLink Curry–Howard_correspondence.
- CH_equivalence wikiPageWikiLink Curry–Howard_correspondence.
- CH_isomorphism wikiPageWikiLink Curry–Howard_correspondence.
- Calculus_of_constructions wikiPageWikiLink Curry–Howard_correspondence.
- Call-with-current-continuation wikiPageWikiLink Curry–Howard_correspondence.
- Cartesian_closed_category wikiPageWikiLink Curry–Howard_correspondence.
- Combinatory_logic wikiPageWikiLink Curry–Howard_correspondence.
- Consistency wikiPageWikiLink Curry–Howard_correspondence.
- Constructive_proof wikiPageWikiLink Curry–Howard_correspondence.
- Constructive_set_theory wikiPageWikiLink Curry–Howard_correspondence.
- Continuation-passing_style wikiPageWikiLink Curry–Howard_correspondence.
- Coq wikiPageWikiLink Curry–Howard_correspondence.
- Correctness_(computer_science) wikiPageWikiLink Curry–Howard_correspondence.
- Curry-Howard wikiPageWikiLink Curry–Howard_correspondence.
- Curry-Howard_Correspondence wikiPageWikiLink Curry–Howard_correspondence.
- Curry-Howard_Isomorphism wikiPageWikiLink Curry–Howard_correspondence.
- Curry-Howard_correspondence wikiPageWikiLink Curry–Howard_correspondence.
- Curry-Howard_equivalence wikiPageWikiLink Curry–Howard_correspondence.
- Curry-Howard_isomorphism wikiPageWikiLink Curry–Howard_correspondence.
- Curry_Howard wikiPageWikiLink Curry–Howard_correspondence.
- Curry_Howard_isomorphism wikiPageWikiLink Curry–Howard_correspondence.
- Currying wikiPageWikiLink Curry–Howard_correspondence.
- Curry–Howard wikiPageWikiLink Curry–Howard_correspondence.
- Curry–Howard_equivalence wikiPageWikiLink Curry–Howard_correspondence.
- Curry–Howard_isomorphism wikiPageWikiLink Curry–Howard_correspondence.
- Curry–Howard–Lambek_correspondence wikiPageWikiLink Curry–Howard_correspondence.