%0 Journal Article
%T 无穷发散项与易项
%A 赵希顺
%J 科学通报
%P 1819-1819
%D 1995
%X 本文研究一类易项的归约性质.关于本文记号和基本概念,请参考文献[1～3].本文均是在λη系统中进行推理,当写M=N时,意指λη+M=N.文献[2]中证明了,Ω≡(λχ.χχ)(λχ.χχ)是易项.黄目园等证明了,所有U循环项都是易项.设W∈Λ~0(Λ~0为闭λ项的全体),记F(W)={PW(?)P}.如果W满足
%U http://csb.scichina.com:8080/CN/abstract/abstract363590.shtml