类型系统λω×≤的范畴论模型

摘要：

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

关键词：高阶子类型关系、带序范畴、插入子、转换结构

所属期刊栏目：39

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

资助基金：高等学校博士学科点专项科研项目98055801

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

页数：共5页

页码：68-72