Lambda calculus - Wikipedia(幾乎包含所有的lambda calculus知識)

Alonzo Church - Wikipedia

Lambda the Ultimate

Alonzo Church的λ演算（摘自彭羅斯《皇帝新腦》）

系列博文：

1. 博客推薦：good math, bad math之Lambda運算元簡介
2. lambda運算元簡介1.a - CSDN博客
3. lambda運算元 1.b - CSDN博客
4. lambda運算元3:阿隆佐.丘齊(Alonzo Church)的天才
5. lamdba運算元4：布爾值和選擇 - CSDN博客
6. Lambda運算元5b：How of Y

淺談Y組合子 - 瀚陽的博客

SICP - 隨筆分類 - Coeus Chen - 博客園（大到可以小說的Y組合子·系列博文）

編程語言的基石--Lambda calculus

幾本短小精鍊的電子書（英文）：

http://www.cs.man.ac.uk/~hsimmons/BOOKS/lcalculus.pdf——H. Simmons and A. Schalk

http://www.inf.fu-berlin.de/inst/ag-ki/rojas_home/documents/tutorials/lambda.pdf——R. Rojas

http://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf——A. Jung

相關有趣的網路站點：

The Lambda Calculus

The Calculi of Lambda Conversion

Ryan Flannery

Norman Hardy

Ian E. Voysey

Safalras Website

Franco Barbanera- Dipartimento di Matematica e Informatica

International Computer Music Conference Proceedings

http://www.iep.utm.edu/lambda-calculi/

Internet Encyclopedia of Philosophy

http://www.iep.utm.edu/lambda-calculi/

推薦閱讀：

相關文章