摘要： 先约定几个记号: 定义用一个冒号加等号表示“:=”， 表达式全等用两个等号表示“==”， 归约意义上的相等用一个等号表示“=”，“==”蕴涵“=”。 由于lambda演算不能定义符号，所以像这样的递归定义是不能被求值的： f := (lambda () (f))如何在lambda验算中实现递归？从最简单的递归函数开始。希望能带来一些启发。寻找 \(\Omega... 阅读全文