- · 图书馆乐享数字资源主题活动[11/26]
- · 图书馆共享党员之家活动室启用[11/26]
- · 转发:教育系统“美好‘食’光””校园系列活动主题作品征集活动通知[11/03]
- · 红柳法学大讲堂第二十八期[11/03]
- · 关于举办兰州理工大学“红柳之星”2020校园新生才艺大赛的通知[10/30]
- · “科学家精神报告团”进校园活动通知[10/28]
- · 兰州理工大学2020年秋季学期国家普通话水平测试报名通知[10/27]
- · 2020年秋季学期至2021年寒假国内外线上线下交流项目报名通知[10/20]
关于CL w中不动点组合算子的结构与范式
作者: 王建 [1,2] ; 何伯镛 [1]
关键词: CLw CLζβ^0 外延性 不动点组合算子 函数项 范式 CL w CL ζβ^0 extensionality the fixed-point combinators functional term normal form
摘要:
从组合逻辑添加受限制的外延性规则,对λ-演算,即形式理论λβ中关于不动点组合算子的Bohm-Van der Mey定理做出了改进,同时讨论了组合逻辑CL w中不动点组合算子的范式.
上一篇:基于遗传算法求解复杂时间-空间布局问题
下一篇:几类特殊半群与理想