带参数的共递归操作及其计算律

Keywords: [共归纳数据类型, 终结共代数, 共递归, 累积计算, 范畴论, coinductive datatypes, final coalgebras, corecursion, accumulation calculation, category theory]

Full-Text   Cite this paper   Add to My Lib

Abstract:

针对共归纳数据类型上的unfold无法描述带参数的共递归操作..

Full-Text