ケンさんの公開ページ 復刊投票コメント一覧
復刊リクエスト投票
ラムダ計算の基礎からしっかり学べ、高校生から大学生レベルの数学とコンピュータ科学の知識があれば理解できる内容となっている。
操作的意味論、型システム、cpoと不動点定理、カテゴリなどを詳しく説明してくれている。定理などについては丁寧な証明があるのも魅力。
この本に並ぶ良書が現在ないためぜひ復刊を望む。
2009/06/25
ラムダ計算の基礎からしっかり学べ、高校生から大学生レベルの数学とコンピュータ科学の知識があれば理解できる内容となっている。
操作的意味論、型システム、cpoと不動点定理、カテゴリなどを詳しく説明してくれている。定理などについては丁寧な証明があるのも魅力。
この本に並ぶ良書が現在ないためぜひ復刊を望む。
2009/06/25