Last Updated：2025/12/07
Researchers often invoke the Curry-Howard isomorphism when explaining the deep connection between proofs and programs.
See correct answer
Researchers often invoke the Curry-Howard isomorphism when explaining the deep connection between proofs and programs.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
Source Sentence
研究者は、証明とプログラムの深い関係を説明する際によくカリー＝ハワード対応を引用します。
