一本书：An Introduction To Functional Programming Through Lambda Calculus

终于找到一本讲lambda演算的书了，作者是Greg Michaelson，我把它打印了出来，然后装订了一下，一下子就很像本书了：）看来学校里那些打印店的人手艺还不错的，以后有书买不到就可以打了。
这本书ms写于1988年，好老啊，不过lisp也很老了么，这才说明价值，这下可以好好学习lambda演算了，然后是common lisp，加油。