共 1 条
表达式元性理论形式系统的扩充及其强标准化性质
被引：1
作者：
陈韬略
李斌
吕建
机构：
[1] 南京大学计算机软件新技术国家重点实验室
来源：
关键词：
表达式元性理论;
形式系统;
强标准化;
D O I：
暂无
中图分类号：
TP301.6 [算法理论];
学科分类号：
摘要：
在 [1 ]所给出的MartinL f表达式元性理论形式系统的基础上 ,通过引入所谓的引用表达式和协引用表达式的形式表示 ,对其进行了扩充 .同时证明了扩充形式系统的强标准化定理 .
引用
收藏
页码：156 / 163
页数：8
相关论文