开始搜索几个单词就足够了。如果您需要进行更复杂的查询，请使用以下提示为您提供指导。
问题标题：类型化Lambda演算及其应用（TLCA’99）
文章类型：研究文章
作者：Rick，Statman先生
摘要：1975年，G.Jacopini证明了一个简单术语的存在，即可以与任何其他术语一致识别的术语（带beta转换）任期。1980年，A.Visser将Jacopini的结果推广到R.E.理论；即，一致性（带β转换）R.E.理论的简单术语存在。当然，对非R.E.理论不存在这样的概括。例如，它很容易看出，巴伦德雷格特的理论H本文将把雅科皮尼的结果推广到非R.E.理论跟随。如果方程M=N与β转换）的扩展T，我们得到了TŞ{M=N}是一致的。我们应证明简单方程的存在。
关键词：Lambda演算，一致性
日志：计算机基础理论2001年，第45卷，第1-2期，第117-121页
