Word.ws English Dictionary

Curry-Howard correspondence

Curry-Howard correspondence proper noun: a thesis which claims the existence of an analogy or correspondence between — on the one hand — constructive mathematical proofs and programs (especially functions of a typed functional programming language), and — on the other hand — between formulae (proven by the aforementioned proofs) and types (of the aforementioned functions).

Proper noun

Curry-Howard correspondence

  1. A thesis which claims the existence of an analogy or correspondence between — on the one hand — constructive mathematical proofs and programs (especially functions of a typed functional programming language), and — on the other hand — between formulae (proven by the aforementioned proofs) and types (of the aforementioned functions).
    • Gerhard Gentzen's calculus of natural deduction is the first formalism of structural proof theory, and is the cornerstone of the Curry-Howard correspondence relating logic to functional programming.ᵂᴾ

Synonyms of Curry-Howard correspondence

Questions about Curry-Howard correspondence

What does Curry-Howard correspondence mean?
Curry-Howard correspondence means a thesis which claims the existence of an analogy or correspondence between — on the one hand — constructive mathematical proofs and programs (especially functions of a typed functional programming language), and — on the other hand — between formulae (proven by the aforementioned proofs) and types (of the aforementioned functions).
What part of speech is Curry-Howard correspondence?
Curry-Howard correspondence is a proper noun.

Words near Curry-Howard correspondence in the dictionary

  1. Curry's paradox
  2. curry-comb
  3. curry-combed
  4. curry-combing
  5. curry-combs
  6. Curry-Howard correspondence
  7. Curry-Howard isomorphism
  8. curry-muncher
  9. curry-munchers
  10. curry-queen
  11. currycel

Source and license

Adapted from Wiktionary: Curry-Howard correspondence (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Curry-Howard correspondence.” Word.ws, https://word.ws/curry-howard_correspondence. Based on Wiktionary, CC BY-SA 4.0.