English Explanatory Dictionary

Curry-Howard isomorphism

English dictionary entry

Meanings

name
  1. Synonym of Curry-Howard correspondence.

Word forms

Curry-Howard isomorphism

Synonyms

Curry-Howard correspondence
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on C Russian dictionary Dahl dictionary