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

计算机科学
需积分: 13 5 下载量 117 浏览量 2019-11-04 05:12:32 上传 评论 收藏 693KB PDF 举报
preview
试读
211页
资源推荐
资源评论
评论 收藏
weixin_38743481
  • 粉丝: 694
  • 资源: 4万+
上传资源 快速赚钱
voice
center-task 前往需求广场，查看用户热搜

最新资源