摘要
证明了如下结果 :对任意的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是易项 .
出处
《科学通报》
EI
CAS
CSCD
北大核心
1998年第12期1267-1269,共3页
Chinese Science Bulletin
基金
国家自然科学基金!(批准号 :197710 4 5
6 95730 37)
