表达式元性理论的性质

被引：1

作者：

宋方敏，丁一强，徐永森

机构：

[1] 南京大学计算机科学系

来源：

计算机学报 | 1996年 / 10期

关键词：

表达式的元性理论，弱标准化;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

本文给出Ｍａｒｔｉｎ－表达式元性（Ａｒｉｔｙ）理论的形式系统，并证明了它的弱标准化定理．

引用

收藏

页码：768 / 772

页数：5

相关论文

共 2 条

[1] 在Martin－Lof类型论中添加判断的新形式 [J].

宋方敏 .

数学年刊A辑(中文版), 1994, (02) :177-184

[2] ITT系统的一些性质 [J].

宋方敏 .

计算机学报, 1993, (11) :851-861