| 具有代数算子的λ演算系统的模型构造 |
| |
| 引用本文： | 陆汝占,张政,孙永强. 具有代数算子的λ演算系统的模型构造[J]. 软件学报, 1990, 1(3): 59-64 |
| |
| 作者姓名： | 陆汝占 张政 孙永强 |
| |
| 作者单位： | 上海交通大学计算机科学与工程系;上海交通大学计算机科学与工程系;上海交通大学计算机科学与工程系 |
| |
| 摘 要： | 本文介绍了一个带有代数算子的λ演算系统,并给出了该系统模型的定义,证明了一个满足该定义的充分条件,最后构造了该系统的一个模型。
|
| 关 键 词： | 代数算子 λ演算系统 模型构造 |
| 收稿时间： | 1989-08-05 |
| 修稿时间： | 1989-10-15 |
THE CONSTRUCTION OF A MODEL OF THE LAMBDA CALCULUS SYSTEM WITH ALGEBRAIC OPERATORS |
| |
| Lu Ruzhan,Zhang Zheng and Sun Yongqiang. THE CONSTRUCTION OF A MODEL OF THE LAMBDA CALCULUS SYSTEM WITH ALGEBRAIC OPERATORS[J]. Journal of Software, 1990, 1(3): 59-64 |
| |
| Authors: | 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. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
