哲学
算法
数学
逻辑学
编程学

‘λ演算’是什么？

关注者
815
被浏览
143,693

8 个回答

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

我写了一篇科普文章“让我们谈谈 lambda 演算”

github.com/txyyss/Lambd

觉得我起码把无类型的纯 lambda 演算的 beta 规约讲得很清楚了。