论文部分内容阅读
类型系统一直是理论计算机科学的研究热点,特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要作用.不过至今为止人们还没有得到高阶子类型满意的语义模型.λω×≤ fibration的基范畴是特殊的带序范畴,且有插入子,其fibre范畴是带转换结构的笛卡儿封闭范畴.λω×≤ fibration可作为带高阶子类型的多态类型系统的通用范畴论语义模型.