所属单位：

信息与控制工程学院

发表刊物：

微电子学与计算机

关键字：

中文关键字：数据类型，范畴数据，并行计算，英文关键字：Data tyoes,Categorical theory,Parallel calculation

摘要：

数据范畴类型(CDT)是以范畴理论为基础来讨论数据类型的构造和应用，它是抽象数据类型的一种推广，在并行计算的理论中有着重要的地位。文章中对数据范畴类型(CDT)构造的基本原理作了深入探讨，并采用了一种新的方法实现了CDT同态的因子分解定理，得到了CDT构造中某些重要的性质和CDT因子分解定理。

备注：

边根庆

合写作者：

陈建,冯钢

第一作者：

赵文静,边根庆

论文类型：

期刊论文

卷号：

卷：22

期号：

期：6

页面范围：

页：177~180

是否译文：

否

发表时间：

2005-06-01