对church-rosser定理的再探讨

• 作者: 邱易
• 来源期刊: 现代计算机：中旬刊
• 学科: 数学
• 关键词: 无限 停机 lambda演算
• 年，卷（期）: 2016,（9）
• 页码范围: 29-31
• 页数: 3页
• 分类号: O174

摘要

在lambda演算中,找到永不终止却有意义的lambda项,并讨论它的意义：任何可计算的函数都可能在它的求值过程中出现,且出现顺序受到求值顺序控制。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邱易	华中科技大学计算机科学与技术学院	2	0	0.0	0.0