戴静安 朱军 吴楠 吴庆曦 焦阳 钱悦晨 赖蓉 梅卫锋 张昱 严涛 徐明君

汇编程序 程序设计 类型论 范畴 布尔结构 活动体 词法分析 谓词演算 通信 量子计算 直觉主义逻辑 程序设计语言 指称语义 存在量词 集合论 否定 距离空间 对象 并发 ε-算子 不动点算子 量词 解释程序 选择公理 β-范式 处理系统

南京大学计算机软件新技术国家重点实验室 南京大学软件新技术国家重点实验室 江苏南京 信息产业部电子14所 南京大学数学系 解放军理工大学指挥自动化学院