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