Curry-Howard isomorphism

Proper noun

Synonym of Curry-Howard correspondence

Japanese Meaning

カリー・ハワード対応（Curry-Howard correspondenceの別称）

Researchers often invoke the Curry-Howard isomorphism when explaining the deep connection between proofs and programs.

研究者は、証明とプログラムの深い関係を説明する際によくカリー＝ハワード対応を引用します。

Sense（1）

Synonym of Curry-Howard correspondence