共归纳数据类型上的共递归操作及其计算定律

苏锦钿余珊珊

Corecursion Operations and Its Calculation Laws on Coinductive Data Types

Su Jin-dian Yu Shan-shan

华南理工大学学报（自然科学版） . 2011, (10): 90 -95 . DOI: 10.3969/j.issn.1000-565X.2011.10.016