Curry-Howard isomorphism
Alternative form of blood bank
Synonym of Curry-Howard correspondence
(rhetoric) A fully reciprocal synonym.
A census-designated place in Curry County, Oregon, United States.
研究者は、証明とプログラムの深い関係を説明する際によくカリー＝ハワード対応を引用します。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
