lambd演算 May 22, 2018 One-minute read develop lambda 目的 主要是做个收藏 连接 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