比较好的翻译:
- 20 Sep 2014 Good Math/Bad Math的Lambda演算系列的中文翻译
- 16 Sep 2014 终章，Lambda演算建模——程序即证明！
- 16 Sep 2014 Lambda演算的类型
- 15 Sep 2014 从Lambda演算到组合子演算
- 15 Sep 2014 为什么是Y？
- 15 Sep 2014 Lambda演算中的布尔值和选择
- 15 Sep 2014 阿隆佐.丘奇的天才之作——lambda演算中的数字
- 15 Sep 2014 我的最爱Lambda演算——开篇
Skip to content