强共归纳数据类型上的Comonadic共递归

摘要：

针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题，首先证明了笛卡尔封闭范畴上的终结共代数是强终结的，并给出强共归纳数据类型的范畴论定义及其上一种带固定参数的共递归---punfold，使得共归纳数据类型上的共递归计算可以包含额外的参数作为计算的输入；然后利用基于Comonads的Comonadic共递归给出了unfold和punfold 的一种统一的描述，并进一步分析了punfold 上的各种计算律，从而将Pardo对基于Comonads的带参数的递归计算研究扩展到共归纳数据类型。

关键词：递归函子、共归纳数据类型、终结共代数、共递归、Comonads

分类号：TP301.2(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61103038；高等学校博士学科点专项科研基金资助项目20100172120043；华南理工大学中央高校基本科研业务费专项资金资助项目2013ZZ0055

在线出版日期：2014-04-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：128-134