程序设计语言理论（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编程。