节点文献
关于CL w中不动点组合算子的结构与范式
On structure and extensionality of fixed-point combinators in CL w
【摘要】 从组合逻辑添加受限制的外延性规则,对纯λ-演算,即形式理论λβ中关于不动点组合算子的Bo¨hm-VanderMey定理做出了改进,同时讨论了组合逻辑CLw中不动点组合算子的范式.
【Abstract】 The pure λ-calculus, i.e. the Bhm-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 CLw was discussed, also.
【关键词】 CL w；
CLζ0β；
外延性；
不动点组合算子；
函数项；
范式；
【Key words】 CL w； CL ζ0β； extensionality； the fixed-point combinators； functional term； normal form；
【Key words】 CL w； CL ζ0β； extensionality； the fixed-point combinators； functional term； normal form；
- 【文献出处】 兰州理工大学学报 ,Journal of Lanzhou University of Technology , 编辑部邮箱 ,2007年01期
- 【分类号】O177.91
- 【下载频次】17