程序设计语言理论（lambda 演算,函数式编程） 相关资料
1. g9yuanyon's blog:
翻译了一系列Lambda calculus 的文章,非常通俗，且有部分八卦。也有对原文少量的补充资料。
http://blog.csdn.net/g9yuayon/article/details/790953
2. MarkCC' blog Good Math Bad Math:
这里有g9翻译文章的原文，后面几篇g9没有翻译，不过非常有启发性
http://goodmath.blogspot.com/2006/06/lamda-calculus-index.html
上面的地址被和谐了，这里有一个没有和谐的
http://scientopia.org/blogs/goodmath/
3. 刘未鹏的文章：
康托尔、哥德尔、图灵——永恒的金色对角线
写的很通俗。会提到lambda演算，还有图灵机，哥德尔不完备性定理，康托对角线法。重点在写他们之间的联系。
http://mindhacks.cn/2006/10/15/cantor-godel-turing-an-eternal-golden-diagonal/
4. Achim Jung.
A short introduction to the Lambda Calculus
.
对lambda演算的介绍，有10页。可以和上面的两个对照着看。
http://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf
5. Peter Selinger .Lecture notes on the lambda calculus.
关于lambda calculus的一份106页的讲义，是它在大学教授lambda演算时使用的。中科院的《程序设计语言理论》课讲授的内容，理论部分主要来自这份讲义。
Abstract
: This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, combinatory algebras, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, type inference, denotational semantics, complete partial orders, and the language PCF.
http://www.mathstat.dal.ca/~selinger/papers/papers/lambdanotes.pdf
6. 张昱. 程序设计语言理论
中科院软件所张昱老师教授《程序设计语言理论》的课程主页： http://lcs.ios.ac.cn/~yzhang/fopl/
主要讲授程序设计语言的理论以及Haskell编程。