Curry-Howard isomorphism en · PROPN Meanings Synonym of Curry-Howard correspondence. Synonyms Curry-Howard correspondence