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

摘要：

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

关键词：表达式元性理论、形式系统、强标准化

所属期刊栏目：40

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家自然科学基金60273034;863项目2001AA113110,2002AA116010;江苏省自然科学基金BK2002203,BK2002409

在线出版日期：2008-05-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：156-163