终结共代数相关论文
终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方......
代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念--共代数,则直到20世纪90年代中后期才被......
针对共归纳数据类型上的unfold无法描述带参数的共递归操作的问题，证明了笛卡儿封闭范畴上的有限扩展多项式函子的终结共代数在固定......
针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题，首先证明了笛卡尔封闭范畴上的终结共代数是强终结的，并给出强共归......
针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题，利用Monads及其与共代数函子之间的分配律给出了共归纳数......
范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据......
