Curry–Howard correspondence

<http://www.wikidata.org/entity/Q975734>

the direct relationship between computer programs and mathematical proofs
rdfs:label
"Curry–Howard correspondence"@en
skos:altLabel
"equivalence"@en
"Curry-Howard"@en
"Curry-Howard correspondence"@en
"Curry-Howard equivalence"@en
"Curry-Howard isomorphism"@en
"Curry–Howard"@en
"Curry–Howard equivalence"@en
"Curry–Howard isomorphism"@en
"Formulae-as-types"@en
"Formulae-as-types correspondence"@en
"Programs-as-proofs"@en
"Proofs-as-programs"@en
"Proofs-as-programs interpretation"@en
"Propositions as types principle"@en
"propositions-"@en
"Propositions-as-types"@en
"Propositions-as-types interpretation"@en
schema:description
"the direct relationship between computer programs and mathematical proofs"@en
schema:dateModified "2026-05-26T18:22:02+00:00"^^xsd:dateTime
schema:version 2497950684
wikibase:identifiers 9
wikibase:sitelinks 19
wikibase:statements 17
p:P10283 wd:statement/Q975734-65026672-2E73-47C0-A344-E56738D5F36F
p:P1269 wd:statement/Q975734-0cc76578-4dea-c33c-65b5-6c1ea1312701
wd:statement/Q975734-6bd79519-47b0-c69a-0e76-b5ea52513da5
wd:statement/Q975734-873c1d10-406e-8385-de21-4659ebfe425f
p:P13591 wd:statement/Q975734-FE486EA6-5C3D-4D23-A822-F635E1C9D543
p:P138 wd:statement/q975734-6cbb75b2-4efd-2cee-b61a-bc50f1cd3073
wd:statement/q975734-db2967f0-4a39-7156-fece-c8e6d5feb581
p:P1482 wd:statement/Q975734-B12131E8-270B-42A5-86FA-4D2FC966C133
p:P244 wd:statement/Q975734-D049AB2F-FEEA-460B-9E4A-AB866635611A
p:P268 wd:statement/Q975734-644c237c-4968-91f5-c121-11d569bef885
p:P31 wd:statement/Q975734-1e907955-42f9-a575-f790-454d39c95c86
wd:statement/Q975734-f39b1b36-4372-7648-e9a0-eaa000413578
p:P3417 wd:statement/Q975734-067D5121-9C19-4A61-A71F-B075EAD6431B
p:P6366 wd:statement/Q975734-264BE775-140E-4C49-BDA9-EF2014FB3D9C
p:P646 wd:statement/Q975734-EF411B15-F45F-48B7-85B9-B7ACB3AC41FD
p:P6900 wd:statement/Q975734-70177a5a-436b-a492-9bc9-06a1381155ef
p:P8189 wd:statement/Q975734-3C5B110E-16E6-4474-9DE5-9E844BBB906C
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/sh2001002954>
p:direct-normalized/P268 <http://data.bnf.fr/ark:/12148/cb151164792#about>
p:direct-normalized/P6366 <https://makg.org/entity/85343465>
wdt:P10283 "C85343465"
wdt:P1269 Teoria de tipus
filosofía de la ciencia de la computación
प्रमाण सिद्धांत
wdt:P13591 "concept/6c94fbe4-d4d2-492f-b527-5aafd087e014"
wdt:P138 哈斯凱爾·加里
William Alvin Howard
wdt:P1482 <https://stackoverflow.com/tags/curry-howard>
wdt:P244 "sh2001002954"
wdt:P268 "151164792"
wdt:P31 isomorphism
matematikai fogalom
wdt:P3417 "Curry–Howard-Correspondence"
wdt:P6366 "85343465"
wdt:P646 "/m/01lqbf"
wdt:P6900 "カリー=ハワード同型対応"
wdt:P8189 "987007532525705171"

Inverse relations

[ .. ] → schema:about → Curry–Howard correspondence

Correspondance de Curry-Howardschema:Article Correspondencia de Curry-Howardschema:Article Correspondència Curry-Howardschema:Article Curry-Howard-Isomorphismusschema:Article Curry-Howardi vastavusschema:Article Curry-Howard對應schema:Article Curryho–Howardův isomorfismusschema:Article Curry–Howard correspondenceschema:Article Curry–Howard-isomorfismeschema:Article Haskell/The Curry–Howard isomorphismschema:Article Haskell/カリー=ハワード同型schema:Article Isomorfismo de Curry-Howardschema:Article Izomorfizm Curry’ego-Howardaschema:Article Відповідність Каррі — Говардаschema:Article Соответствие Карри — Ховардаschema:Article تطابق كاري-هواردschema:Article カリー＝ハワード同型対応schema:Article 柯里-霍华德对应schema:Article 커리-하워드 대응schema:Article

[ .. ] → p:statement/P800 → Curry–Howard correspondence

<http://www.wikidata.org/entity/statement/Q92611-4072781e-4767-098b-abd9-01ca4cd2a87e>wikibase:BestRank

[ .. ] → p:qualifier/P1013 → Curry–Howard correspondence

<http://www.wikidata.org/entity/statement/Q28455561-786b850d-4bd2-42f1-4dae-dd9420da31fd>wikibase:BestRank

[ .. ] → wdt:P800 → Curry–Howard correspondence

هاسكل كاري

[ .. ] → p:qualifier/P805 → Curry–Howard correspondence

<http://www.wikidata.org/entity/statement/Q124168363-a64e4ed8-4f49-a0e1-c472-72a400c4b751>wikibase:BestRank
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://query.wikidata.org/sparql