表达式元性理论形式系统的扩充及其强标准化性质

• 作者: 吕建 李斌 陈韬略
• 来源期刊: 南京大学学报(自然科学版)
• 学科: 工学
• 关键词: 表达式元性理论 形式系统 强标准化
• 年，卷（期）: 2004,（2）
• 页码范围: 156-163
• 页数: 8页
• 分类号: TP301.6
• 字数: 5081字
• 语种: 中文
• DOI: 10.3321/j.issn:0469-5097.2004.02.003

摘要

在[1]所给出的Martin-Lof表达式元性理论形式系统的基础上,通过引入所谓的引用表达式和协引用表达式的形式表示,对其进行了扩充.同时证明了扩充形式系统的强标准化定理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕建	南京大学计算机软件新技术国家重点实验室	120	2738	23.0	51.0
2	陈韬略	南京大学计算机软件新技术国家重点实验室	18	113	4.0	10.0
3	李斌	南京大学计算机软件新技术国家重点实验室	56	376	12.0	18.0