上一篇我们已经建好了lambda演算大厦的地基，接下来需要了解的就是如何在此基础上构造用于计算的一些通用工具了，比如自然数、布尔值、基本运算和布...

此系列文章是我学习lambda演算过程的总结与复习，着重于探讨“为什么(Why)”与“怎么做(How)”，也希望能对看到它的人学习了解这个形式系...