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

所以维基百科条目Lambda Calculus很有意思，但我已经完成了。我希望深入一点并更好地理解Lambda微积分。学习Lambda微积分有哪些资源？

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

2009-02-05 mmcdole

请参阅math.sx问题[学习Lambda微积分]（http：//math.stackexchange。com/questions/967/learning-lambda-calculus/1059＃1059） – 2012-12-31 17:20:02

我投票重新开放，因为尽管从某些观点来看，这个主题对于编程来说真的很重要，我们应该听取其他意见。 – alinsoar 2017-01-20 12:50:15

如果您已完成维基百科条目，请按照其链接指向在线Structure and Interpretation of Computer Programs，执行分配或read the book。

alt text http://mitpress.mit.edu/images/products/books/0262011530-medium.jpg

来源

2009-02-05 11:02:13 gimel

+1这是一个经典的资源。这是我的第一个编程课程的教科书。 – 2009-02-05 11:32:32

同上。尽管它更多的是实用性，而不是关于lambda微积分本身的形式。 – 2009-02-05 16:32:52

+1正在阅读...而不是6-7年前...开发人员/编码人员/程序员的世界。 – 2010-01-16 16:43:16

我发现克里斯·汉金“An introduction to Lambda Calculi for Computer Scientists”是不错，但我只有真正使用它的一类 - 在现实世界:)

alt text http://ecx.images-amazon.com/images/I/4165AQ4AF8L._SL500_AA240_.jpg

来源

2009-02-05 11:30:54 Spedge

不使用那么，总是有An Introduction to Lambda Calculus。我试过几次，但总是被卡住了。我有一种唠叨的感觉，我已经知道这些东西中的大部分，如果它是以Lisp/Scheme而不是数学的形式呈现的话，可能会更容易理解它。你可能有更好的运气，虽然:)

来源

2009-02-05 11:42:56

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

alt text http://ecx.images-amazon.com/images/I/41BRXJ7E7GL._SL500_AA240_.jpg

除此之外，它几乎取决于什么拉姆达演算的“一部分”，你感兴趣的是：打字？证明理论？短期重写？函数式编程？

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

来源

2009-02-05 12:15:34

尝试编写lambda微积分interpetter，理想情况下是使用语言的语法而不是通过解析器构建的函数式语言。这非常简单，并且是一种改善您的感觉的好方法。

来源

2009-02-05 16:38:01 Brian

这里是（使用计划）一个很好的解释：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

玩得开心！

来源

2010-12-17 01:00:50 AshleyF

我最近从亚马逊买了一本名为Greg Michaelson的"An Introduction to Functional Programming Through Lambda Calculus"的书。它更多的是函数式编程的介绍，并且还引入了lambda演算。第一印象很好。一本自包含和易于阅读的书。 Here，你可以在PostScript下载没有索引的免费版本。

来源

2012-09-27 11:14:49 oakenshield1

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

来源

2013-03-15 15:21:33

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

回答

相关问题