类型系统λω×≤的范畴论模型 |
| |
作者单位: | 周晓聪(中山大学计算机科学系,广州,510275);李文军(中山大学计算机科学系,广州,510275);李师贤(中山大学计算机科学系,广州,510275) |
| |
基金项目: | 本课题得到高等学校博士学科点专项科研基金资助(98055801) |
| |
摘 要: | 类型系统一直是理论计算机科学的研究热点,特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要作用.不过至今为止人们还没有得到高阶子类型满意的语义模型.λω×≤
fibration的基范畴是特殊的带序范畴,且有插入子,其fibre范畴是带转换结构的笛卡儿封闭范畴.λω×≤
fibration可作为带高阶子类型的多态类型系统的通用范畴论语义模型.
|
关 键 词: | 高阶子类型关系 带序范畴 插入子 转换结构 |
修稿时间: | 2001年1月12日 |
A CATEGORICAL MODEL OF TYPE SYSTEM |
| |
Abstract: | |
| |
Keywords: | |
|
|