読書履歴
2014/05/28
38ページ
とりあえずラムダ計算の基礎を流し読み。推論規則の記法に馴染みがない。
AIが見つけた似た本
「プログラム意味論 (情報数学講座)」の書誌情報と、 この本を読んだ人の本棚から、 近そうな本を4冊見つけました
56.5%
56.4%
53.5%
52.4%
