プログラム意味論 (情報数学講座) [392回参照されました]
放浪猫さん
がこの本を手に取りました。放浪猫さんは、これまでに11冊の本を読み、2,361ページをめくりました。
-
本の紹介
| 15% [全261ページ(残り223ページ)] |
状態 | 読んでいるところ 積ん読時間:積ん読1年以上 |
著者 | 横内 寛文 |
ブックリンクされた本
-
評価
未評価感想
読書の軌跡
38ページ | 2014/05/28 23:25:28 | とりあえずラムダ計算の基礎を流し読み。推論規則の記法に馴染みがない。 |
コメント
コメントするにはログインが必要です。