数理逻辑与范畴论应用王世强 数理逻辑是基础工具,研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注,擦除掉也不影响解释执行。类型标志 语言: 其他 大小: 类型: tag: 上传人:huaihua 上传时间:2023-09-26 1 范畴论在软件工程中的应用 范畴论在软件工程中的应用.对于软件开发的新的研究 语言: 其他 大小: 类型: tag: 上传人:wjd2002xx 上传时间:2023-09-12 0 2条