计算机科学中的范畴数据类型的研究综述

• 作者: 苏锦钿
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 数据类型 范畴论 代数 共代数 逻辑演算 程序语言
• 年，卷（期）: 2016,（10）
• 页码范围: 9-18,39
• 页数: 11页
• 分类号: TP301.2
• 字数: 15970字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.10.002

摘要

范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用.早期的范畴数据类型研究以归纳数据类型为主,采用代数从归纳的角度研究有限数据类型的构造语义和递归性质.近年来,归纳数据类型的对偶概念——共归纳数据类型逐渐引起计算机科学工作者的关注与研究,他们采用共代数从观察的角度研究无限数据类型的行为语义和共递归性质.利用范畴论可以为数据类型研究提供统一的数学理论基础,并将代数和共代数中的各种重要研究成果有机地融合在一起,如语法构造与动态行为、递归与共递归、同余与互模拟等.目前,范畴数据类型已经在程序语言、计算描述、理论证明器和并行计算等领域得到广泛的应用.对范畴数据类型的基本概念、数学理论基础、逻辑基础及应用等方面的最新研究成果进行介绍,以引起国内外相关研究领域的学者对计算机科学中的范畴数据类型理论的关注.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苏锦钿	华南理工大学计算机科学与工程学院	42	209	8.0	13.0