| 共归纳数据类型上的共递归操作及其计算定律 |
| |
| 引用本文： | 苏锦钿,余珊珊.共归纳数据类型上的共递归操作及其计算定律[J].华南理工大学学报(自然科学版),2011(10):90-95. |
| |
| 作者姓名： | 苏锦钿 余珊珊 |
| |
| 作者单位： | 华南理工大学计算机科学与工程学院;中山大学信息科学与技术学院; |
| |
| 基金项目： | 2010年高等学校博士点学科专项科研基金资助项目(20100172120043); 华南理工大学中央高校基本科研业务费专项资金资助项目(2009ZM0158) |
| |
| 摘 要： | 范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律；同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定...
|
| 关 键 词： | 范畴论 共归纳数据类型 共递归 终结共代数 |
Corecursion Operations and Its Calculation Laws on Coinductive Data Types |
| |
| Su Jin-dian Yu Shan-shan.Corecursion Operations and Its Calculation Laws on Coinductive Data Types[J].Journal of South China University of Technology(Natural Science Edition),2011(10):90-95. |
| |
| Authors: | Su Jin-dian Yu Shan-shan |
| |
| Institution: | Su Jin-dian1 Yu Shan-shan2(1.School of Computer Science and Engineering,South China University of Technology,Guangzhou 510006,Guangdong,China,2.School of Information Science and Technology,Sun Yet-Sen University,Guangzhou 510275,China) |
| |
| Abstract: | |
| |
| Keywords: | category theory coinductive data type corecursion final coalgebra |
| 本文献已被 CNKI 等数据库收录！ |
|
