电脑体验，效果更佳

λ演算图谱-计算机领域：

研究人员

孙永强 颜锋 陈韬略 陆汝占 杨祥金 吕建 张政 韩婷婷

相关术语

递归函数 连续模型 π可定义性 代数算子 代数规范 演算系统 模型构造 π演算

标签云