>>48
去年でたCommon Lisp入門とか読めば？
後ろの方にラムダ算法入門みたいな章があったよ。
さわりだけでいいんでしょ？
チャーチロッサーの定理とかβ簡約とか出て来るしいいんｼﾞｬﾏｲｶ？