Curry–Howard correspondence (Q975734)
Jump to navigation
Jump to search
the direct relationship between computer programs and mathematical proofs
- Curry-Howard isomorphism
- Formulae-as-types correspondence
- Propositions as types principle
- Curry–Howard isomorphism
- Curry–Howard
- Curry-Howard
- Curry-Howard correspondence
- Curry-Howard equivalence
- Curry–Howard equivalence
- Propositions-as-types
- Formulae-as-types
- Programs-as-proofs
- Proofs-as-programs
- Proofs-as-programs interpretation
- Propositions-as-types interpretation
- propositions-
- equivalence
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Curry–Howard correspondence |
the direct relationship between computer programs and mathematical proofs |
|
Statements
Identifiers
1 reference
1 reference
Sitelinks
Wikipedia(16 entries)
- cawiki Correspondència Curry-Howard
- cswiki Curryho–Howardův isomorfismus
- dewiki Curry-Howard-Isomorphismus
- enwiki Curry–Howard correspondence
- eswiki Correspondencia de Curry-Howard
- etwiki Curry-Howardi vastavus
- frwiki Correspondance de Curry-Howard
- jawiki カリー＝ハワード同型対応
- kowiki 커리-하워드 대응
- nlwiki Curry–Howard-isomorfisme
- plwiki Izomorfizm Curry’ego-Howarda
- ptwiki Isomorfismo de Curry-Howard
- ruwiki Соответствие Карри — Ховарда
- ukwiki Відповідність Каррі — Говарда
- zh_yuewiki Curry-Howard對應
- zhwiki 柯里-霍华德同构