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