2010-02-10から1日間の記事一覧

call/ccと古典論理のカリー・ハワード対応

数学 プログラミング

「直観主義論理のカリー・ハワード対応」の続き。