期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
λ-演算的一种扩充
1
作者 田长安 张先勇 钱峰 《河南师范大学学报（自然科学版）》 CAS CSCD 1998年第3期12-15,共4页
对任一固定的集合ＡＮ（Ｎ表示自然数集），本文定义了λ－演算的一种扩充λＡ－演算．证明了λＡ－演算具有Ｃｈｕｒｃｈ－Ｒｏｓｓｅｒ性质，从而是协调的．并证明了λＡ－可定义全函数与Ａ－递归函数是等价的．
关键词 λa-演算 集合 C-R性质 λa-可定义函数
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部