有本书叫The Lambda Calculus: It's Syntax and Semantics, by Barendregt. 据说是经典之作,type-free lambda calculus之百科书。
这是Amazon的网页，
http://www.amazon.com/Lambda-Calcul...80077929&sr=8-1
这本书已经绝版，但是网上有：
http://www.andrew.cmu.edu/user/cebr...barendregt.html
我现在感兴趣的倒是typed lambda calculus，正在看这本书：Foundations of Object-Oriented Languages, Types and Semantics, by Kim B. Bruce.
第二部分是讲Lambda Calculus的，
Part II Foundations: The Lambda Calculus
Chapter 8. Formal Language Descriptions and the Lambda Calculus
Chapter 9. The Polymorphic Lambda Calculus.
这本书写的通俗易懂，没有扯到Category Theory。
电子版有，可以找来看看。