サクサク読めて、アプリ限定の機能も多数！
「カリー・ハワード同型対応入門」によれば、1968年にカリー・ハワード同型対応が知られたようだ
dhrname のブックマーク 2017/03/08 21:53
このブックマークにはスターがありません。 最初のスターをつけてみよう！
ocw.kyoto-u.ac.jp2016/07/04
takuro.onishi@gmail.com II 2009 6 4 11 • Figure: H.B.Curry (1900-82) Figure: W.A.Howard (1926-) • 1934 1958 • 1968 • • • • • • • • • • • • • • • • • • • • 3.6 (an)n (an)n (an)n 3.5.1 (an)n (an)n 3....
12 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／
「カリー・ハワード同型対応入門」によれば、1968年にカリー・ハワード同型対応が知られたようだ
このブックマークにはスターがありません。
最初のスターをつけてみよう！
カリー・ハワード同型対応入門
takuro.onishi@gmail.com II 2009 6 4 11 • Figure: H.B.Curry (1900-82) Figure: W.A.Howard (1926-) • 1934 1958 • 1968 • • • • • • • • • • • • • • • • • • • • 3.6 (an)n (an)n (an)n 3.5.1 (an)n (an)n 3....
12 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／