lambd演算

目的 Link to heading

主要是做个收藏

连接 Link to heading

Good math, bad math

这是一篇相当优秀的文章，然后国内有人做了翻译，见：

• 我的最爱Lambda演算——开篇 · cgnail’s weblog
• 阿隆佐.丘奇的天才之作——lambda演算中的数字 · cgnail’s weblog
• Lambda演算中的布尔值和选择 · cgnail’s weblog
• 为什么是Y？ · cgnail’s weblog
• 从Lambda演算到组合子演算 · cgnail’s weblog
• Lambda演算的类型 · cgnail’s weblog
• 终章，Lambda演算建模——程序即证明！ · cgnail’s weblog