| 表达式元性理论的性质 |
| |
| 引用本文： | 宋方敏,丁一强.表达式元性理论的性质[J].计算机学报,1996,19(10):768-772. |
| |
| 作者姓名： | 宋方敏 丁一强 |
| |
| 作者单位： | 南京大学计算机科学系 |
| |
| 基金项目： | 国家863高科技项目,国家自然科学基金 |
| |
| 摘 要： | 本文给出了Ｍａｒｔｉｎ－Ｌｏｆ表达式元性理论的形式系统，并证明了它的弱标准化定理。
|
| 关 键 词： | 表达式 元性理论 弱标准化 计算机 |
PROPERTIES OF THE THEORY OF EXPRESSIONS WITH ARITIES |
| |
| Song Fangmin,Ding Yiqiang and Xu Yongsen.PROPERTIES OF THE THEORY OF EXPRESSIONS WITH ARITIES[J].Chinese Journal of Computers,1996,19(10):768-772. |
| |
| Authors: | Song Fangmin Ding Yiqiang and Xu Yongsen |
| |
| Abstract: | In this paper, a formal system for the theory of expressions with anttes is given, and the weak normalization theorem of this theory is proved. |
| |
| Keywords: | Theory of expressions with anttes weak normalization |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
