-
大小: 103B文件类型: .txt金币: 1下载: 0 次发布日期: 2021-05-14
- 语言: 其他
- 标签:
资源简介
本书提供了类型理论的形式系统，并开发了程序和证明的示例。 从功能编程的角度来看，本书强调了系统语言与传统语言之间的差异。
代码片段和文件信息
相关资源
- 1---17030140015+党奇伟+西电计算机操作系
- 面向计算机科学的数理逻辑 系统建模
- 《计算机科学技术导论》陶树平
- 计算机科学导论第三版答案
- 清华大学计算机科学与技术专业课程
- 《图灵计算机科学丛书_具体数学_计算
- 计算机科学引论重点知识及课后答案
- 天津大学计算机科学与技术复试科目
- 计算机科学导论 第四版 课后答案（瞿
- 面向计算机科学的数理逻辑课后习题
- 浅谈计算机科学的若干基础理论-邱道
- 计算机科学导论英文版答案
- 计算机科学导论课件
- 计算机科学与技术答辩论文PPT
- 计算机科学导论第三版答案.
- 2019年计算机科学与技术专业就业问题
- 计算机科学与技术专业生产实习报告
- 面向计算机科学的数理逻辑 第二版
川公网安备 51152502000135号
评论
共有 条评论