摘要
在lambda演算中,找到永不终止却有意义的lambda项,并讨论它的意义:任何可计算的函数都可能在它的求值过程中出现,且出现顺序受到求值顺序控制。
Finds a term in lambda calculus that makes sense but will never halt, and then discusses its meaning, which is that all of the computable function can appear during the evaluation of it, and that the order of their appearance depends on the evaluation order of that term.
