📝 数理論理学と計算機科学の橋渡しとなる概念。
柯里霍华德同构把证明看作程序。
(Kēlǐ-Huòhuádé tónggòu bǎ zhèngmíng kànzuò chéngxù.)
カリー＝ハワード同型対応は証明をプログラムとみなす。
理解柯里霍华德同构需要类型论基础。
(lǐjiě Kēlǐ-Huòhuádé tónggòu xūyào lèixínglùn jīchǔ.)
カリー＝ハワード同型対応を理解するには型理論の基礎が必要だ。
柯里霍华德同构在函数式编程中很重要。
(Kēlǐ-Huòhuádé tónggòu zài hánshùshì biānchéng zhōng hěn zhòngyào.)
カリー＝ハワード同型対応は関数型プログラミングで重要だ。
