马建 舒忠梅 李文军 刘汨春 李师贤 罗达 张文升 周青云 张珞玲 左亚尧 张远舟

优先关系 远程方法调用 范畴理论 类型系统λω×≤ λω×≤fibration AOP Java语言 等式理论 Petri网 存在类型 插入子 PER模型 算法演示 时态纠正 设计模式 递归类型 转换结构 中介者模式 高阶子类型关系 关联更新 共代数逻辑 带序范畴 共归纳原理 共关系 课件 并发更新 事件驱动 对象表示 试题库系统 子类型关系

广东广州 南京大学计算机软件新技术国家重点实验室 江苏南京 中山大学计算机科学系 香港城市大学商学院BPR技术中心 广东广州510275广东工业大学计算机学...