Curry-Howard isomorphism

Synonym of Curry-Howard correspondence

日本語の意味

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

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

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

意味（1）

Synonym of Curry-Howard correspondence