church

对church-rosr定理的再探讨

邱易

【期刊名称】《现代计算机：上半月版》

【年(卷),期】2016(000)009

【摘要】在lambda演算中,找到永不终止却有意义的lambda项,并讨论它的意义：

任何可计算的函数都可能在它的求值过程中出现,且出现顺序受到求值顺序控制。

【总页数】3页(P29-31)

【作者】邱易

【作者单位】华中科技大学计算机科学与技术学院武汉430074

【正文语种】中文

【中图分类】O174

【相关文献】

1.两个级数收敛定理的再探讨[J],刘颖

2.论俄林定理之谬误：国际贸易原理再探讨[J],张理智

3.对church-rosr定理的再探讨[J],邱易

4.特勒根定理2遵守功率守恒的再探讨[J],鲍立峰

5.蝴蝶定理解高考数学解析几何题的再探讨[J],赵临龙

因版权原因，仅展示原文概要，查看原文内容请购买