类型系统λω×≤的PER模型

摘要：

类型系统是近年来理论计算机科学的研究热点之一.1999年周晓聪曾在文献[1]中提出并研究了类型系统λω×≤及其性质.类型系统λω×≤是λω×的扩充,引入了子类型关系和受限的全称类型.与System F的各种扩充相比,它区分各种上下文,使得规则和性质的研究更为清晰.研究该类型系统的PER模型作为其语义解释,并说明该模型的合理性.

关键词：类型系统、子类型关系、PER模型

所属期刊栏目：37

分类号：TP311(计算技术、计算机技术)

资助基金：广东省博士启动基金;国家重点实验室基金

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

页数：共6页

页码：1006-1011