Martin-Lof类型理论中的编程:简介Programming in Martin-Lof's Type Theory: An Introduction下载

weixin_39822095 2020-01-31 06:30:15
本书对Martin-Lof的类型理论进行了详尽的介绍,并提供了有关多态集,子集,单态集以及全套有用示例的信息。
相关下载链接://download.csdn.net/download/weixin_38743481/11955711?utm_source=bbsseo
...全文
26 回复 打赏 收藏 举报
写回复
用AI写文章
回复
切换为时间正序
请发表友善的回复…
发表回复

13,652

社区成员

发帖
与我相关
我的任务
社区描述
CSDN 下载资源悬赏专区
其他 技术论坛(原bbs)
社区管理员
  • 下载资源悬赏专区社区
加入社区
  • 近7日
  • 近30日
  • 至今
社区公告
暂无公告

试试用AI创作助手写篇文章吧