共递归相关论文
传统范畴论与共代数等方法在分析语义行为与描述共归纳规则方面存在不足，应用Fibrations理论对程序语言中索引共归纳数据类型（indexe......
针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题，利用完全偏序范畴上的多项式函子分别给出带固定参数和......
针对共归纳数据类型上的unfold无法描述带参数的共递归操作的问题，证明了笛卡儿封闭范畴上的有限扩展多项式函子的终结共代数在固定......
针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题，首先证明了笛卡尔封闭范畴上的终结共代数是强终结的，并给出强共归......
针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题，利用Monads及其与共代数函子之间的分配律给出了共归纳数......
程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征,因此单纯利用代数或共代数难以给出完整......
范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据......
