命令的操作语义在类型系统中的一种表示
new
命令的操作语义在类型系统中的一种表示的英文翻译
基本释义
Imperative Operational Semantics in Type Theory
命令的操作语义在类型系统中的一种表示的相关资料:
临近单词
命
命名法
目录
查词历史
英 汉