T1老大能不能推荐些讲述lambda演算的文章
 |
simohayha
2007-05-24
如题，先谢谢了。最好是结合scheme之类的函数式语言来讲的。
|
 |
bigpanda
2007-05-25
有本书叫The Lambda Calculus: It's Syntax and Semantics, by Barendregt. 据说是经典之作,type-free lambda calculus之百科书。
这是Amazon的网页，http://www.amazon.com/Lambda-Calculus-Semantics-Foundations-Mathematics/dp/0444867481/ref=sr_1_1/002-3332094-6266456?ie=UTF8&s=books&qid=1180077929&sr=8-1 这本书已经绝版，但是网上有：http://www.andrew.cmu.edu/user/cebrown/notes/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。 电子版有，可以找来看看。 |
 |
Trustno1
2007-05-29
CSDN的blog 负暄琐话,里面也有一系列介绍Lambda的文章,可以拿来入入门.
|
