老外写了系列文章,cgnail做了中文翻译,非常棒,每篇翻译都有原文的链接。
我的最爱Lambda演算——开篇 · cgnail's weblog
阿隆佐.丘奇的天才之作——lambda演算中的数字 · cgnail's weblog
Lambda演算中的布尔值和选择 · cgnail's weblog
从Lambda演算到组合子演算 · cgnail's weblog
终章,Lambda演算建模——程序即证明! · cgnail's weblog
作者:song wang
链接:http://www.zhihu.com/question/21936396/answer/121880616
来源:知乎
著作权归作者所有,转载请联系作者获得授权。