λ 演算的语法和语义（The Lambda Calculus: Its Syntax and Semantics）
- External Link:
- Official Site:
- Douban Books: λ演算的语法和语义(豆瓣)
- Download Link: +
- Rank: ★★★★
- Hard: ★★★★★
- Tag: 函数式，Lambda演算，指称语义，Lambda理论
- Reviews：
H.P.Barendregt的这本书是有名的“砖头书”，大部头，很多人只闻其名，但一翻开就惧了。
说实话，这本书不适合学习。但这本书的最大特点是“严格”。在同类的关于lambda演算的语法及语义的书中，这本书基本是最严格的一本。如果你对严格的东西情有独钟的话，并且也想透彻了解一下无类型的lambda演算的方方面面的话，不妨试试。也许同我一样，你会因读这本书对无类型lambda演算感起兴趣来，并决定以它作为自己从事专门研究的领域。当然，同我一样，你首先会被一些数学公式吓倒，但只有穿透这些数学公式，你才能了解其中的本相。
读到这里，也许你还是不能翻开这本书真正读上几页。那么我再说两句。这本书的习题基本上是brain-teaser，做起来可以挑战你的思维能力，比如第一章，大部分讲了偏序集和Scott连续性，并配备了相应的习题，不少习题还是以人名命名的，这些内容对后面的章节，即建立起无类型lambda演算的指称语义即数学模型是非常有用的。第二、三章即通常的lambda演算的语法规则或者操作语义，同样讲的一如既往地透彻，习题也具有挑战性。第四章讲的是lambda理论，和第五章讲的lambda演算的模型配套起来形成现代lambda演算透彻了解语法和语义的知识大厦。
程序员适合读这本书吗？很遗憾，答案是不适合，除非对某一类程序员，那就是：爱数学的。爱数学者，请尽管前进，你会在这本书（包括文字部分、公式部分、以及习题部分）中获得莫大的满足，你会感到前所未有的严格。
最后，说一下，这本书的最大特点是，它的内容可以完全涵盖同类的书，基本上是说到了成书时这个领域的state-of-the-arts，目前为止，只有在那之后的少数一些论文能超越它。