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

所以在Lambda微积分上的维基百科条目很有趣，但我已经完成了。 我希望深入一点，更好地理解Lambda微积分。

任何人都可以推荐他们认为是Lambda微积分最好的书或者入门书吗？

Answer 1

如果您已完成维基百科条目，请按照其在线结构和计算机程序解释的链接，执行作业或阅读本书 。

替代文字http://mitpress.mit.eduhttp://img.dovov.comproducts/books/0262011530-medium.jpg

Answer 2

那么，总有一个关于Lambda微积分的介绍 。 我已经尝试了几次，但总是陷入困境。 我有一个唠叨的感觉，我已经知道这个东西的大部分，并可能有一个更容易的时间来理解它，如果它是在Lisp / Scheme而不是math方面提出的。 你可能会有更好的运气，虽然:)

Answer 3

我发现克里斯·汉金（Chris Hankin）的“ 计算机科学家的Lambda Calculi简介 ”很不错，但是我只是真的用它来做一个类 – 不是在现实世界中使用它:)

替代文字http://ecx.images-amazon.comhttp://img.dovov.comI/4165AQ4AF8L._SL500_AA240_.jpg

Answer 4

我认为关于lambda-演算本身的参考依然是Barendregt的书 。

替代文字http://ecx.images-amazon.comhttp://img.dovov.comI/41BRXJ7E7GL._SL500_AA240_.jpg

除此之外，它几乎取决于你感兴趣的lambda-calculus的“部分”：input？ certificate理论？ 短期重写？ 函数式编程？

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

Answer 5

尝试编写一个lambda演算interpetter，理想情况下使用语言的语法而不是通过parsing器的function语言。 这非常简单，并且是一种改善您的感觉的好方法。

Answer 6

我最近从Greg Michaelson购买了一本名为“通过Lambda微积分进行函数式编程的介绍”的书。 这更多的是函数式编程的介绍，也介绍了lambda演算。 第一印象很好。 一个自包含和易于阅读的书。 在这里 ，你可以在PostScript下载没有索引的免费版本。

Answer 7

真正让我开始使用和理解lambda演算的书是Blackburn和Bos的“自然语言的表示和推理”。 这是一本关于使用Prolog进行自然语言处理的书。 另一本你可能会考虑的书是Allen的“Natural Language Understanding”。 最后，如果你喜欢lambda微积分，你可能也会喜欢组合逻辑，因为组合函数可以被定义为单参数lambdaexpression式。 为此，我强烈推荐Smullyan的一本题为“模仿一只知更鸟”的书。 最后，他使用组合器来构build一个基本的编程语言。

Answer 8

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

这里有一个漂亮的位（从我的博客），减lessrecursion阶乘纯lambda： http : //blogs.msdn.com/b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx

玩的开心！