Y_CΩ_(2n)是易项

摘要

证明了如下结果 :对任意的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是易项 .