机译:编程中基于振动理论的归纳数据类型
School of Information Science and Engineering Shaoguan University 288 Daxue Road Shaoguan China;
School of Software South China University of Technology 381 Wushan Road Guangzhou China;
School of Information South China University of Agriculture 483 Wushan Road Guangzhou China;
School of Software South China University of Technology 381 Wushan Road Guangzhou China;
inductive data types; Fibrations theory; semantics properties; induction rules; ad joint functor;
机译:编程中基于振动理论的归纳数据类型
机译:基于遗传编程的归纳数据挖掘:从数据自动生成决策树以进行过程历史数据分析
机译:(Co)归纳类型理论和情境理论中基于对象的计算的推理
机译:归纳数据类型的量子规划:因果关系和仿射类型理论
机译:归纳递归类型的封闭宇宙的完全泛型编程
机译:使用归纳逻辑编程的变体数据库中的知识发现
机译:编程中基于振动理论的归纳数据类型