Matches in Wikidata for { <http://www.wikidata.org/entity/Q975734> ?p ?o ?g. }
- Q975734 description "isomorfismo entre los programas de ordenador y las demostraciones matemáticas" @default.
- Q975734 description "isomorphisme entre les programmes informatiques et les preuves mathématiques" @default.
- Q975734 description "otsene seos arvutiprogrammide ja matemaatiliste tõestuste vahel" @default.
- Q975734 description "relació entre programes informàtic i demostracions matemàtiques" @default.
- Q975734 description "the direct relationship between computer programs and mathematical proofs" @default.
- Q975734 description "vztah mezi počítačovým programem a matematikou" @default.
- Q975734 name "Correspondencia de Curry-Howard" @default.
- Q975734 name "Correspondència Curry-Howard" @default.
- Q975734 name "Curry-Howard-Isomorphismus" @default.
- Q975734 name "Curry-Howardi vastavus" @default.
- Q975734 name "Curry-Howardův isomorfismus" @default.
- Q975734 name "Curry-Howard對應" @default.
- Q975734 name "Curry–Howard correspondence" @default.
- Q975734 name "Curry–Howard correspondence" @default.
- Q975734 name "Curry–Howard correspondence" @default.
- Q975734 name "Curry–Howard correspondentie" @default.
- Q975734 name "Isomorfismo de Curry-Howard" @default.
- Q975734 name "Isomorfismo de Curry-Howard" @default.
- Q975734 name "Izomorfizm Curry'ego-Howarda" @default.
- Q975734 name "correspondance de Curry-Howard" @default.
- Q975734 name "respondo de Curry-Howard" @default.
- Q975734 name "Відповідність Каррі - Говарда" @default.
- Q975734 name "Соответствие Карри-Говарда" @default.
- Q975734 name "カリー＝ハワード同型対応" @default.
- Q975734 name "柯里-霍华德同构" @default.
- Q975734 name "柯里-霍华德同构" @default.
- Q975734 name "柯里-霍華德同構" @default.
- Q975734 name "柯里-霍華德同構" @default.
- Q975734 name "커리-하워드 대응" @default.
- Q975734 type Item @default.
- Q975734 label "Correspondencia de Curry-Howard" @default.
- Q975734 label "Correspondència Curry-Howard" @default.
- Q975734 label "Curry-Howard-Isomorphismus" @default.
- Q975734 label "Curry-Howardi vastavus" @default.
- Q975734 label "Curry-Howardův isomorfismus" @default.
- Q975734 label "Curry-Howard對應" @default.
- Q975734 label "Curry–Howard correspondence" @default.
- Q975734 label "Curry–Howard correspondence" @default.
- Q975734 label "Curry–Howard correspondence" @default.
- Q975734 label "Curry–Howard correspondentie" @default.
- Q975734 label "Isomorfismo de Curry-Howard" @default.
- Q975734 label "Isomorfismo de Curry-Howard" @default.
- Q975734 label "Izomorfizm Curry'ego-Howarda" @default.
- Q975734 label "correspondance de Curry-Howard" @default.
- Q975734 label "respondo de Curry-Howard" @default.
- Q975734 label "Відповідність Каррі - Говарда" @default.
- Q975734 label "Соответствие Карри-Говарда" @default.
- Q975734 label "カリー＝ハワード同型対応" @default.
- Q975734 label "柯里-霍华德同构" @default.
- Q975734 label "柯里-霍华德同构" @default.
- Q975734 label "柯里-霍華德同構" @default.
- Q975734 label "柯里-霍華德同構" @default.
- Q975734 label "커리-하워드 대응" @default.
- Q975734 altLabel "Correspondance preuve-programme" @default.
- Q975734 altLabel "Correspondance preuve/programme" @default.
- Q975734 altLabel "Curry-Howard correspondence" @default.
- Q975734 altLabel "Curry-Howard equivalence" @default.
- Q975734 altLabel "Curry-Howard isomorphism" @default.
- Q975734 altLabel "Curry-Howard" @default.
- Q975734 altLabel "Curry-Howard" @default.
- Q975734 altLabel "Curry-Howardi isomorfism" @default.
- Q975734 altLabel "Curry-Howardi korrespondents" @default.
- Q975734 altLabel "Curry-Howard同构" @default.
- Q975734 altLabel "Curry-Howard同構" @default.
- Q975734 altLabel "Curry-Howard对应" @default.
- Q975734 altLabel "Curry–Howard equivalence" @default.
- Q975734 altLabel "Curry–Howard isomorphism" @default.
- Q975734 altLabel "Curry–Howard" @default.
- Q975734 altLabel "Formulae-as-types correspondence" @default.
- Q975734 altLabel "Formulae-as-types" @default.
- Q975734 altLabel "Isomorfisme de Curri-Howard" @default.
- Q975734 altLabel "Isomorphisme de Curry-Howard" @default.
- Q975734 altLabel "Programs-as-proofs" @default.
- Q975734 altLabel "Proofs-as-programs interpretation" @default.
- Q975734 altLabel "Proofs-as-programs" @default.
- Q975734 altLabel "Propositions as types principle" @default.
- Q975734 altLabel "Propositions-as-types interpretation" @default.
- Q975734 altLabel "Propositions-as-types" @default.
- Q975734 altLabel "equivalence" @default.
- Q975734 altLabel "propositions-" @default.
- Q975734 altLabel "カリー・ハワード同型対応" @default.
- Q975734 altLabel "カリー・ハワード対応" @default.
- Q975734 altLabel "カリー＝ハワード同型" @default.
- Q975734 altLabel "カリー＝ハワード対応" @default.
- Q975734 altLabel "命题为类型原理" @default.
- Q975734 prefLabel "Correspondencia de Curry-Howard" @default.
- Q975734 prefLabel "Correspondència Curry-Howard" @default.
- Q975734 prefLabel "Curry-Howard-Isomorphismus" @default.
- Q975734 prefLabel "Curry-Howardi vastavus" @default.
- Q975734 prefLabel "Curry-Howardův isomorfismus" @default.
- Q975734 prefLabel "Curry-Howard對應" @default.
- Q975734 prefLabel "Curry–Howard correspondence" @default.
- Q975734 prefLabel "Curry–Howard correspondence" @default.
- Q975734 prefLabel "Curry–Howard correspondence" @default.
- Q975734 prefLabel "Curry–Howard correspondentie" @default.
- Q975734 prefLabel "Isomorfismo de Curry-Howard" @default.
- Q975734 prefLabel "Isomorfismo de Curry-Howard" @default.
- Q975734 prefLabel "Izomorfizm Curry'ego-Howarda" @default.
- Q975734 prefLabel "correspondance de Curry-Howard" @default.
- Q975734 prefLabel "respondo de Curry-Howard" @default.