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

【文件属性】：

文件名称：计算语义学与类型理论Computational Semantics and Type Theory

文件大小：88B

文件格式：TXT

更新时间：2022-12-05 11:55:26

计算机科学

涵盖在功能编程（Haskell）框架中指定的语言语义分析中逻辑的应用。