范畴数据类型(CDT)模型相关论文