累积计算相关论文
针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题,利用完全偏序范畴上的多项式函子分别给出带固定参数和......
针对共归纳数据类型上的unfold无法描述带参数的共递归操作的问题,证明了笛卡儿封闭范畴上的有限扩展多项式函子的终结共代数在固定......
根据欧共体现行的反倾销条例,欧委会在某些情况下可以累积评估不同出口国产品倾销对共同体产业造成的影响,考察它们是否共同造成了重......