摘要
从组合逻辑添加受限制的外延性规则,对纯λ-演算,即形式理论λβ中关于不动点组合算子的Bo¨hm-VanderMey定理做出了改进,同时讨论了组合逻辑CLw中不动点组合算子的范式.
The pure λ-calculus, i.e. the Boehm-Van der Mey theorem concerning the fixed-point combinators in formal theory λβ, was improved by means of addition of restricted rules into the combinatory logic. Meantime, the normal form of fixed-point combinators in combinatory logic CL w was discussed, also.
出处
《兰州理工大学学报》
CAS
北大核心
2007年第1期148-150,共3页
Journal of Lanzhou University of Technology
作者简介
王建（1974-），男，浙江常山人，硕士，讲师．
