サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
Pixel 9
www.thenewsh.com/~newsham
The Curry-Howard correspondence is a mapping between logic and type systems. On the one hand you have logic systems with propositions and proofs. On the other hand you have type systems with types and programs (or functions). As it turns out these two very different things have very similar rules. This article will explore the Curry-Howard correspondence by constructing a proof system using the Ha
このページを最初にブックマークしてみませんか?
『www.thenewsh.com』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く