Intuitionistic Type Theory (Per Martin Lof 1984)

Type
Theory,
Type
Theory,
star 5星 · 超过95%的资源 需积分: 9 11 下载量 63 浏览量 2010-12-01 15:53:34 上传 评论 收藏 662KB PDF 举报
preview
资源推荐
资源评论
评论 收藏
dragonlyj
  • 粉丝: 1
  • 资源: 13
上传资源 快速赚钱
voice
center-task 前往需求广场，查看用户热搜

最新资源