Y_CΩ_(2N)是易项

• 来源期刊: 科学通报
• 学科: 数学
• 关键词: λβ演算 KUPER定理 易项
• 年，卷（期）: 1998,（12）
• 页码范围: 1267-1269
• 页数: 3页
• 分类号: O141
• 语种: 中文

摘要

证明了如下结果 :对任意的n≥ 1,YCΩ2n是易项 ,即对任λ项M ,λβ +YCΩ2n=M是协调的 .其中YC 是Curry不动点组合子 ,Ω2n=ω2nω2n,ω2n=λx .xx…x(λx之后x有 2n次出现 ) .从而 ,部分证明了Ja copini提出的如下问题 :对任意的n≥ 2 ,YCΩn是易项 .