Lambda

老外写了系列文章,cgnail做了中文翻译,非常棒,每篇翻译都有原文的链接。

我的最爱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

作者:song wang

链接:http://www.zhihu.com/question/21936396/answer/121880616

来源:知乎

著作权归作者所有,转载请联系作者获得授权。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
【社区内容提示】社区部分内容疑似由AI辅助生成,浏览时请结合常识与多方信息审慎甄别。
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

相关阅读更多精彩内容

友情链接更多精彩内容