聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 一种带参数的Hylomorphisms及其计算律
出处:计算机研究与发展 2013年第3期602-618,共17页
摘要:针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题,利用完全偏序范畴上的多项式函... 显示全部
关键词: 递归 共递归 累积计算 代数 共代数
在线阅读 下载全文
期刊文章 带参数的共递归操作及其计算律
出处:计算机研究与发展 2013年第12期2676-2690,共15页
摘要:针对共归纳数据类型上的unfold无法描述带参数的共递归操作的问题,证明了笛卡儿封闭范畴上的有限扩展多项... 显示全部
关键词: 共归纳数据类型 终结共代数 共递归 累积计算 范畴论
在线阅读 下载全文
找到2条结果
`