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

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

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

1> gimel..：

---

如果您已完成维基百科条目,请按照其在线结构和计算机程序解释的链接,进行分配或阅读本书.

---

同上.虽然它更多的是实用性,而不是关于lambda演算本身的形式.

---

@gimel SICP如何帮助学习lambda演算.

---

+1这是一个经典资源.这是我的大学第一个编程课程的课程.

2> fred-o..：

---

嗯,总有一个Lambda微积分简介.我已经尝试了几次阅读,但总是卡住了.我有一种唠叨的感觉,我已经知道了大部分这些东西,并且如果用Lisp/Scheme而不是数学表示它可能会更容易理解它.你可能会有更好的运气,但:)

3> Spedge..：

---

我发现Chris Hankin的" 计算机科学家的Lambda Calculi介绍 "非常好,但我只是将它用于一个类 - 在现实世界中没有使用它:)

4> Axelle Ziegl..：

---

我认为关于lambda-calculus本身的参考仍然是Barendregt的书.

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

每个都是一个领域本身,我不知道任何涵盖这一切的书.

5> Brian..：

---

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

6> oakenshield1..：

---

我最近从亚马逊购买了一本名为"通过Lambda微积分进行功能编程的介绍"的书,由Greg Michaelson 撰写.它更多地是对函数式编程的介绍,并且还介绍了lambda演算.第一印象非常好.一本独立且易于阅读的书.在这里,您可以在PostScript中下载没有索引的免费版本.

7> David C..：

---

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

---

布莱克本和博斯的书现已在线提供,http://www.coli.uni-saarland.de/publikationen/softcopies/Blackburn:1997:RH.pdf