什么是一些资源用于学习氧微积分?[关闭]

Question

所以在维基百科上的条目 氧微积分 很有趣但是我已经完成了它。我要下潜深一点，并得到更好的理解的氧微积分。

任何人都可以推荐他们认为是最好的书，或引到氧微积分?

Answer 1

如果您正在使用的维基百科条目完成后，按相关的在线计算机程序的构造和解释链接中，执行任务，或读书

Answer 2

好吧，总是有 介绍氧微积分.我试着读了几次，但总是得到坚持。我有种挥之不去的感觉我已经知道大多数的这些东西，可能会更容易理解它如果有人提出在条款List/方案，而不是数学。你可能会有更好的运气，虽然:)

Answer 3

我发现“简介LAMBDA结石为计算机科学家”通过克里斯·汉金是相当不错的，但我只有真正使用它的一类 - 在现实世界中不使用它：）

Answer 4

使用构建尝试写入演算interpetter，理想地在一个功能性的语言的语言的语法，而不是通过一个分析器。这是非常容易和改善你的感觉的好方法。

Answer 5

我最近买了从亚马逊一本书名为作为“介绍函数式编程通过演算“格雷格·迈克尔森的。更介绍函数编程的并还引入了演算。第一印象是相当不错的。自包含的，容易阅读的书。 这里，你可以下载免费版本没有的PostScript指数。

Answer 6

这真的让我开始理解和使用演算这本书是由布莱克和瘤“表示与推理的自然语言”。这是一本关于使用Prolog的自然语言处理。你可能会考虑的另一个本书是“自然语言理解”艾伦。最后，如果你喜欢的演算，你可能还喜欢组合逻辑，因为组合子可以被定义为lambda表达式。对于这一点，我强烈建议拼图Smullyan的书，“嘲笑一只知更鸟”。朝向端他使用的组合子构建一个基本的编程语言。

Answer 7

我觉得拉姆达演算的主题引用本身仍然是 Barendregt的书。

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

每个这些本身就是一种领域，我不知道，涵盖了全部的任何一本书的。

Answer 8

这里是一个很好的解释(使用方案): 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

玩得开心！