共归纳规则相关论文
范畴论与共代数是程序语言中共归纳数据类型研究的传统方法,这些方法在语义行为分析与共归纳规则描述等方面存在一定的不足.针对以......
传统范畴论与共代数等方法在分析语义行为与描述共归纳规则方面存在不足，应用Fibrations理论对程序语言中索引共归纳数据类型（indexe......
