| 摘要: |
| 本文介绍了一个带有代数算子的λ演算系统,并给出了该系统模型的定义,证明了一个满足该定义的充分条件,最后构造了该系统的一个模型。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金 |
|
| THE CONSTRUCTION OF A MODEL OF THE LAMBDA CALCULUS SYSTEM WITH ALGEBRAIC OPERATORS |
|
Lu Ruzhan,Zhang Zheng,Sun Yongqiang
|
| 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. |
| Key words: |
