聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 广义共迭代及其计算律
出处:华南理工大学学报:自然科学版 2012年第9期62-68,共7页
摘要:针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题,利用Monads及其与共代数函子之... 显示全部
关键词: 函数式编程 共归纳数据类型 终结共代数 共递归 范畴论
在线阅读 下载全文
期刊文章 共归纳数据类型上的共递归操作及其计算定律
出处:华南理工大学学报:自然科学版 2011年第10期 90-95,共6页
摘要:范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给... 显示全部
关键词: 范畴论 共归纳数据类型 共递归 终结共代数
在线阅读 下载全文
期刊文章 对象行为等价的终结共代数语义
出处:计算机科学 2012年第2期 179-182,190,共5页
摘要:终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利... 显示全部
关键词: 对象 行为等价 共代数方法 终结共代数
在线阅读 下载全文
期刊文章 计算机科学中的共代数方法的研究综述
出处:软件学报 2003年第10期 1661-1671,共11页
摘要:代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念--共代数,则直到2... 显示全部
关键词: 共代数 互模拟 终结共代数 共归纳原理 共代数逻辑
在线阅读 下载全文
期刊文章 强共归纳数据类型上的Comonadic共递归
出处:华南理工大学学报:自然科学版 2014年第1期128-134,共7页
摘要:针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题,首先证明了笛卡尔封闭范畴上的终结共代... 显示全部
关键词: 递归函子 共归纳数据类型 终结共代数 共递归
在线阅读 下载全文
期刊文章 带参数的共递归操作及其计算律
出处:计算机研究与发展 2013年第12期2676-2690,共15页
摘要:针对共归纳数据类型上的unfold无法描述带参数的共递归操作的问题,证明了笛卡儿封闭范畴上的有限扩展多项... 显示全部
关键词: 共归纳数据类型 终结共代数 共递归 累积计算 范畴论
在线阅读 下载全文
找到6条结果
`