[关键词]
[摘要]
本文介绍了一个带有代数算子的λ演算系统,并给出了该系统模型的定义,证明了一个满足该定义的充分条件,最后构造了该系统的一个模型。
[Key word]
[Abstract]
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.
[中图分类号]
[基金项目]
国家自然科学基金
