>>7
Scheme を題材にした SICP のことでしょうか?
(http://jargon.net/jargonfile/p/PurpleBook.html)
だとすると，Church number は扱っていますが, Church-Rosser
の定理などは扱っていないので，これだけではλ計算の勉強には
不十分に思えます．
それとも別の本のことですか?