Lambda
2016-10-11 本文已影响0人
炎汐与那笙
老外写了系列文章，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
来源：知乎
著作权归作者所有，转载请联系作者获得授权。
