Imperative Operational Semantics in Type Theory

英 美
  • 命令的操作语义在类型系统中的一种表示
目录 查词历史