| 表达式元性理论的性质 |
| |
| 引用本文： | 宋方敏 丁一强. 表达式元性理论的性质[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 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 维普 等数据库收录！ |
