范畴数据类型相关论文
随着计算机技术的不断发展,并行计算作为一种旨在降低运算时间、增加问题求解规模、提高求解精度的方法,在科学以及工程应用的计算......
CDT(范畴数据类型)模型是一个以范畴理论为基础的计算模型,由于其构造因子存在着不唯一性,因此对某一数据类型的构造就存在多种选......
为探讨包含构造操作和观察操作的范畴数据类型上的子类型关系及性质,将双代数作为范畴数据类型上构造操作和观察操作的统一数学描......
CDT（范畴数据模型）为并行计算的研究提供了一种新的工具和方法。该文为堆栈、队列类型构造了CDT，给出了它们的CDT变换及同态操作的递......
