「入門CommonLisp　関数型４つの特徴とλ計算」（新納浩幸著）

この本、いいなぁ。８章からラムダ計算のこと、Lispによって具体的に説明している。
高橋正子先生の教えを受けたんだ。茨城に住んでいたらぜひとも聴講に行きたいところだ。