机译:使用代数和合并代数进行函数式编程的一些新方法
Recursiondualityhylomorphismalgebrarecursive coalgebrasaction semantics;
机译:功能编程和类型理论中的代数
机译:作为函子的接口,作为余数的程序-内涵类型理论中的末余余数定理
机译:有关Cockgtered Coolgebras,Conilpotent Coolgebras和Hopf代数的注释
机译:一元编程中的商:射影代数与煤代数等效
机译:高阶代数和余数。
机译:会议报告:ESF功能基因组学综合方法计划。 功能基因组学和蛋白质组学中的数据集成研讨会
机译:使用代数和合并代数进行函数编程的一些新方法
机译:并发环境中懒函数程序的代数规范与仿真