关于lambda演算的资料总结

1.王垠的博客
1.1 图灵的光环 http://www.yinwang.org/blog-cn/2015/10/18/turing
1.2 丘奇和图灵 http://www.yinwang.org/blog-cn/2013/07/13/church-turing

2. Neil Jones, 《Computability and Complexity: From a Programming Perspective》

3. 《计算机程序的构造与解释》 

4. 《root of list》丘奇和图灵

5. Matthias Felleisen,Matthew Flatt. 《Programming Languages and Lambda Calculi》

6. 神奇的λ演算 https://www.jianshu.com/p/e7db2f50b012

7. H. P. Barendregt, The Lambda Calculus. North-Holland, revised edition, 1984.

8. R. Hindley & J. P. Seldin, Introduction to Combinators and Lambda-Calculus, Cambridge University Press, 1986.

9. Lecture notes on lambda calculus ，Peter Silinger

10.Henk Barendregt, Lambda calculus its syntax and semantics（只讲无类型的）

11. Henk Barendregt, Lambda Calculi with Types

12.  Lambda Calculus and Combinator, an introduction

13. introduction to lambda calculus

14. lambda calculu