学习Lambda微积分有哪些资源？

Question

因此Lambda Calculus上的维基百科条目很有意思，但我已经完成了。我希望深入一点，更好地理解Lambda微积分。

任何人都可以推荐他们认为是Lambda Calculus的最佳书籍或入门书吗？

Answer 1

如果您已完成维基百科条目，请点击其在线Structure and Interpretation of Computer Programs的链接，进行分配或阅读the book。

Answer 2

嗯，总是An Introduction to Lambda Calculus。我已经尝试过几次阅读，但总是卡住了。我有一种唠叨的感觉，我已经知道了大部分这些东西，并且如果用Lisp / Scheme而不是数学表示它可能会更容易理解它。不过，你可能会有更好的运气：）

Answer 3

我发现Chris Hankin的“An introduction to Lambda Calculi for Computer Scientists”非常好，但我只是将它用于一个类 - 而不是在现实世界中使用它：）

Answer 4

我认为关于lambda-calculus本身的参考仍然是Barendregt's book。

除此之外，它几乎取决于你感兴趣的lambda-calculus的“部分”：打字？证明理论？术语改写？函数式编程？

这些都是一个领域本身，我不知道任何涵盖这一切的书。

Answer 5

尝试使用语言的内置语法而不是通过解析器来编写lambda演算间隔符，理想情况是使用函数式语言。这非常简单，也是改善您感觉的好方法。

Answer 6

我最近从亚马逊购买了一本名为"An Introduction to Functional Programming Through Lambda Calculus"的书，由Greg Michaelson撰写。它更多地是对函数式编程的介绍，也介绍了lambda演算。第一印象非常好。一本独立且易于阅读的书。 Here，您可以在PostScript中下载没有索引的免费版本。

Answer 7

真正让我开始使用和理解lambda演算的书是布莱克本和博斯的“自然语言的表征和推理”。这是一本关于使用Prolog进行自然语言处理的书。你可能会考虑的另一本书是艾伦的“自然语言理解”。最后，如果您喜欢lambda演算，您可能也会喜欢组合逻辑，因为组合器可以定义为lambda表达式。为此，我强烈推荐Smullyan的谜题书“To Mock A Mockingbird”。最后，他使用组合器构建了一种基本的编程语言。

Answer 8

这是一个很好的解释（使用Scheme）：http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf

这里有一点点（来自我的博客），将递归阶乘减少为纯lambda： http://blogs.msdn.com/b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx

玩得开心！