%0 Journal Article
%T YCΩ2n是易项
%A (赵希顺
%A (王驹
%J 科学通报
%D 1998
%I 
%X 证明了如下结果：对任意的ｎ≥１，ＹｃΩ２ｎ是易项，即对任λ项Ｍ，λβ＋ＹｃΩ２ｎ＝Ｍ是协调的。其中Ｙｃ是Ｃｕｒｒｙ不动点组合子，Ω２ｎ＝ω２ｎω２ｎ，ω２ｎ＝λｘ．ｘｘ…ｘ（λｘ之后ｘ有２ｎ次出现）。从而，部分证明了Ｊａｃｏｐｉｎｉ提出的如下问题：对任意的ｎ≥２，ＹｃΩｎ是易项。
%K λβ演算
%K Kuper定理
%K 易项
%K 不动点
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=01BA20E8BA813E1908F3698710BBFEFEE816345F465FEBA5&cid=7C7E63796F062382A606A3A9833B8C05&jid=B40D4BA57FF46E45205A09B4DC283152&aid=18A42786F7E42C335076473ABF0D728C&yid=8CAA3A429E3EA654&vid=BE33CC7147FEFCA4&iid=59906B3B2830C2C5&sid=A1CD1DC26CC35415&eid=3ED1EAB217774597&journal_id=0023-074X&journal_name=科学通报&referenced_num=0&reference_num=0