范畴数据类型上的子类型

摘要：

为探讨包含构造操作和观察操作的范畴数据类型上的子类型关系及性质,将双代数作为范畴数据类型上构造操作和观察操作的统一数学描述,分析了归纳数据类型上代数子类型和共归纳数据类型上共代数子类型的范畴论定义及其语义,给出了双代数结构中代数子类型和共代数子类型的范畴论定义及其语义解释,从而将代数子类型和共代数子类型的研究扩展到双代数上.

关键词：代数、共代数、双代数、范畴数据类型、子类型

所属期刊栏目：41

分类号：TP301.2(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61103039;高等学校博士学科点专项科研基金资助项目20100172120043;华南理工大学中央高校基本科研业务费专项资金资助项目2013ZZ0055

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

页数：共7页

页码：58-64