摘要
本文介绍了一个带有代数算子的λ演算系统,并给出了该系统模型的定义,证明了一个满足该定义的充分条件,最后构造了该系统的一个模型。
In this paper, a lambda system with algebraic operators called lambda-plus system is introduced. After giving the definition of the system, we present a sufficient condition for being a model of the system. Finally, a model of such system is constructed.
出处
《软件学报》
EI
CSCD
北大核心
1990年第3期59-64,共6页
Journal of Software
基金
国家自然科学基金
