上一篇我们已经建好了lambda演算大厦的地基，接下来需要了解的就是如何在此基础上构造用于计算的一些通用工具了，比如自然数、布尔值、基本运算和布尔运算等等。 丘奇数(Chur...
IP属地：澳门
-
λ演算(Lambda Calculus)入门基础（二）：丘奇编码(Church Encoding)
-
Github:<br><a href="https://github.com/SorataKasugano" rel="nofollow" target="_blank">https://github.com/SorataKasugano</a>
