%0 Journal Article
%T 具有代数算子的λ演算系统的模型构造
%A 陆汝占？
%A 张政？
%A 孙永强？
%J 软件学报
%P 59-64
%D 1990
%X 本文介绍了一个带有代数算子的λ演算系统,并给出了该系统模型的定义,证明了一个满足该定义的充分条件,最后构造了该系统的一个模型。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19900307&flag=1