【摘要】本文首先引入了λ-演算的一些基本概念和经典结果,然后证明了H.P.Barendregt[1984]中提出的关于β-归约的垂直线引理。我们首先证明了n=2的情况,然后推广到任意的n。
【关键词】
《建筑知识》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中国医疗管理科学》 2015-05-12
《中国铸造装备与技术》 2015-07-06
《阅江学刊》 2015-07-02
《中外医疗》 2015-07-06
《重庆高教研究》 2015-06-30
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
发表评论
登录后发表评论 (已发布 0条)点亮你的头像 秀出你的观点