太一さんのページ

同シリーズの「プログラム意味論」を所持しています。内容的に併せて読みたいです。