电脑体验，效果更佳

语义性质验证图谱-计算机领域：

研究人员

王怀民 赵荣彩 庞建民

相关术语

类型理论 函数式语言 操作语义 逻辑框架

标签云