%0 Journal Article %T YCΩ2n是易项 %A 赵希顺 %A 王驹 %J 科学通报 %P 1267-1269 %D 1998 %X 证明了如下结果对任意的n≥1,YCΩ2n是易项,即对任λ项M,λβ+YCΩ2n=M是协调的.其中YC是Curry不动点组合子,Ω2n=ω2nω2n,ω2n=λx.xx…x(λx之后x有2n次出现).从而,部分证明了Jacopini提出的如下问题对任意的n≥2,YCΩ2n是易项. %K λβ演算 %K Kuper定理 %K 易项 %U http://csb.scichina.com:8080/CN/abstract/abstract365546.shtml