紫玉梅 王美清 袁红 吴庆涛 宋国新 袁华强 严涛 吴尽昭 宋方敏 李舟军 丁志义 邵志清 赖蓉 石跃祥 钱悦晨 王兵山

完全偏序 语义论域 范畴 赋值操作 IO 不动点 连续函数 动作精化 输入输出 操作语义 距离空间 Scott—域 传输系统 递归子程序 λc-演算 函数式程序设计语言 并发 纯函数式语言 抽象文法 面向对象程序设计 状态转换器 语义函数 类型 解释程序