-
大小: 103B文件类型: .txt金币: 1下载: 0 次发布日期: 2021-05-14
- 语言: 其他
- 标签:
资源简介
本书提供了类型理论的形式系统，并开发了程序和证明的示例。 从功能编程的角度来看，本书强调了系统语言与传统语言之间的差异。
代码片段和文件信息
相关资源
- 电子科技大学计算机科学与技术考研
- 具体数学：计算机科学基础第2版高清
- 具体数学 计算机科学基础第2版中英文
- 计算机科学复杂工程问题的理解
- 算法和数据结构：基本工具箱Kurt Me
- 计算机科学精粹
- 课后答案-计算机科学概论.pdf
- 南师大计算机科学技术研究生入学2
- 计算机科学导论原书第二版 Behrouz A
- 浙江大学计算理论课件
- 计算机科学导论原书第二版 Behrouz A
- 计算机科学精粹.zip
- 计算机科学中的范畴论
- 范畴与计算机科学
- 天津大学计算机科学与技术学院数字
- 961-复旦大学计算机科学技术学院 软
- 计算机科学与技术专业项目开发实习
- 同等学力申硕计算机科学与技术学科
- 面向计算机科学的数理逻辑:系统建模
- The.Art.of.UNIX.programming.pdf（英文版）
- 计算机科学导论第三版答案完整版
- 计算机科学导论第三版答案中文版
- 《计算机科学速成课》笔记
- 浙江大学2018级计算机科学与技术专业
- 计算机科学中的范畴论.pdf
- 面向计算机科学的数理逻辑第二版-陆
- Computer Science: An Overview-- J.Glenn Brook
- 麻省理工学院公开课：计算机科学及
- 计算机科学导论原书第二版答案.zip
- 应用密码学研究生课程A Graduate Cours
川公网安备 51152502000135号
评论
共有 条评论