参考文献
授業中話をしたカリー・ハワード対応については、以下の文献等を参考にして下さい。
- 作者: 古森 雄一,小野 寛晰
- 出版社/メーカー: 日本評論社
- 発売日: 2010/06/16
- メディア: 単行本（ソフトカバー）
- 購入: 12人 クリック: 260回
- この商品を含むブログ (11件) を見る
基礎演習 I 論理学
京都大学文学部の「基礎演習 I 論理学」（毎週火曜日16:30〜18:00）の授業Blogです。
授業中話をしたカリー・ハワード対応については、以下の文献等を参考にして下さい。
