1. 首页
  2. 移动开发
  3. 其他
  4. 计算语义学与类型理论Computational Semantics and Type Theory

计算语义学与类型理论Computational Semantics and Type Theory

上传者: 2020-07-27 09:05:34上传 TXT文件 88B 热度 11次
涵盖在功能编程(Haskell)框架中指定的语言语义分析中逻辑的应用。
下载地址
用户评论