2010-02-10 読んでみようかな. Book Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)作者: Morten Heine Sørensen M.Sc Ph.D,Pawel Urzyczyn prof. dr hab.出版社/メーカー: Elsevier Science発売日: 2006/09/28メディア: ハードカバー クリック: 56回この商品を含むブログ (5件) を見る