期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
λ定义可计算函数时不动点算子的不必要性
被引量：
1
1
作者
戴静安
宋方敏
《南京大学学报（自然科学版）》
CAS
CSCD
北大核心
2006年第4期342-345,共4页
λ-演算这种计算模型,是一种良好的数学工具,与递归函数密切相关.λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式.介绍了一种方法,可以不借助不动点算子,...
λ-演算这种计算模型,是一种良好的数学工具,与递归函数密切相关.λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式.介绍了一种方法,可以不借助不动点算子,利用Church数字系统的特点,用β-范式定义所有可计算函数.
展开更多
关键词
不动点算子
β-范式
在线阅读
下载PDF
职称材料
关于CL w中不动点组合算子的结构与范式
2
作者
王建
何伯镛
《兰州理工大学学报》
CAS
北大核心
2007年第1期148-150,共3页
从组合逻辑添加受限制的外延性规则,对纯λ-演算,即形式理论λβ中关于不动点组合算子的Bo¨hm-VanderMey定理做出了改进,同时讨论了组合逻辑CLw中不动点组合算子的范式.
关键词
CLw
CLζβ^0
外延性
不动点组合算子
函数项
范式
在线阅读
下载PDF
职称材料
题名
λ定义可计算函数时不动点算子的不必要性
被引量：
1
1
作者
戴静安
宋方敏
机构
南京大学计算机软件新技术国家重点实验室
出处
《南京大学学报（自然科学版）》
CAS
CSCD
北大核心
2006年第4期342-345,共4页
文摘
λ-演算这种计算模型,是一种良好的数学工具,与递归函数密切相关.λ-演算中的不动点算子,增强了系统的表达能力,表达了递归函数中递归的性质,但同时也略有不足,因为常见不动点算子,都没有β-范式.介绍了一种方法,可以不借助不动点算子,利用Church数字系统的特点,用β-范式定义所有可计算函数.
关键词
不动点算子
β-范式
Keywords
fixed point combinators
,
β-normal form
分类号
TN131 [电子电信—物理电子学]
在线阅读
下载PDF
职称材料
题名
关于CL w中不动点组合算子的结构与范式
2
作者
王建
何伯镛
机构
浙江师范大学数理学院
出处
《兰州理工大学学报》
CAS
北大核心
2007年第1期148-150,共3页
文摘
从组合逻辑添加受限制的外延性规则,对纯λ-演算,即形式理论λβ中关于不动点组合算子的Bo¨hm-VanderMey定理做出了改进,同时讨论了组合逻辑CLw中不动点组合算子的范式.
关键词
CLw
CLζβ^0
外延性
不动点组合算子
函数项
范式
Keywords
CL w
CL ζβ^0
extensionality
the
fixed
-
point
combinators
functional term
normal
form
分类号
O141.3 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
λ定义可计算函数时不动点算子的不必要性
戴静安
宋方敏
《南京大学学报（自然科学版）》
CAS
CSCD
北大核心
2006
1
在线阅读
下载PDF
职称材料
2
关于CL w中不动点组合算子的结构与范式
王建
何伯镛
《兰州理工大学学报》
CAS
北大核心
2007
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
