汪亚文 眭跃飞 王飓安 龙翔 韦鵷 马世龙 许可

与或树 形式语义 计算 并行处理 可视化 范畴论 收敛无穷计算 过程模式 分布式共享存贮 形式化方法 证明演算 推演序列 删除规则 假设演算 λ-演算 应用程序 反例 通信 极限 反驳 并发 性能分析 距离

北京航空航天大学计算机科学与工程系 中国科学院计算技术研究所