Curry-Howard isomorphism
(rhetoric) A fully reciprocal synonym.
Alternative form of blood bank
A census-designated place in Curry County, Oregon, United States.
Synonym of Curry-Howard correspondence
研究者は、証明とプログラムの深い関係を説明する際によくカリー＝ハワード対応を引用します。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
