Word.ws English Dictionary

Curry-Howard isomorphism

Curry-Howard isomorphism proper noun: synonym of Curry-Howard correspondence.

Proper noun

Curry-Howard isomorphism

  1. Synonym of Curry-Howard correspondence.

Synonyms of Curry-Howard isomorphism

Questions about Curry-Howard isomorphism

What does Curry-Howard isomorphism mean?
Curry-Howard isomorphism means synonym of Curry-Howard correspondence.
What part of speech is Curry-Howard isomorphism?
Curry-Howard isomorphism is a proper noun.

Words near Curry-Howard isomorphism in the dictionary

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

Source and license

Adapted from Wiktionary: Curry-Howard isomorphism (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 isomorphism.” Word.ws, https://word.ws/curry-howard_isomorphism. Based on Wiktionary, CC BY-SA 4.0.