kleene

果然，几乎在丘奇向学术界展示他的λ演算的同时，克林（Kleene）和科里（Curry）就证明了，作为一个逻辑推理系统，λ演算 …

...d-point theorem）在数学中，序理论的克莱尼（Kleene）不动点定理声称给定任何完全格 L 和任何连续的（因此单调的）函数

...的基础纲领被冲开了缺口．第二次世界大战后，由于S．克林尼(Kleene)开拓性的研究，由于递归函数论的兴起和计算机的广 …