摘要： 本章继续上一章，说明一下这个问题： 所有的相互递归都可以被转化为一般的递归，从而最终可以用lambda演算来完成。 假设有以下对于$f_1， f_2， ... f_n$的相互递归： $f_{1} = F_{1}(f_{1}, f_{2}, ... f_{n})$ $f_{2} = F_{2}(f_{ 阅读全文