%0 Journal Article
%T 带参数的共递归操作及其计算律
%A 余珊珊
%A 苏锦钿
%J -
%D 2013
%X 针对共归纳数据类型上的unfold无法描述带参数的共递归操作..
%K [共归纳数据类型
%K 终结共代数
%K 共递归
%K 累积计算
%K 范畴论
%K coinductive datatypes
%K final coalgebras
%K corecursion
%K accumulation calculation
%K category theory]
%U http://crad.ict.ac.cn/CN/Y2013/V50/I12/2676