1. g9yuanyon's blog:

 翻译了一系列Lambda calculus 的文章,非常通俗，且有部分八卦。也有对原文少量的补充资料。

 

2. MarkCC' blog Good Math Bad Math: 

这里有g9翻译文章的原文，后面几篇g9没有翻译，不过非常有启发性

上面的地址被和谐了，这里有一个没有和谐的

3. 刘未鹏的文章：

康托尔、哥德尔、图灵——永恒的金色对角线

写的很通俗。会提到lambda演算，还有图灵机，哥德尔不完备性定理，康托对角线法。重点在写他们之间的联系。

4. Achim Jung. 

A short introduction to the Lambda Calculus

.

对lambda演算的介绍，有10页。可以和上面的两个对照着看。

 

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.

6. 张昱. 程序设计语言理论

中科院软件所张昱老师教授《程序设计语言理论》的课程主页：

主要讲授程序设计语言的理论以及Haskell编程。