和書でほとんど唯一のプログラム意味論解説書です

ラムダ計算の基礎からしっかり学べ、
高校生から大学生レベルの数学とコンピュータ科学の知識があれば理解できる内容となっている。

丁寧な解説、
証明があり、
初学者でもステップアップしながら読んでいけるのがこの本のよいところ。


残念ながら現在廃刊となっている。

この本に並ぶ良書が現在ないためぜひ復刊を望む。

復刊サイト
[]