收录 0 份译本 · 0 份讲义
原著 · 未出版
Homotopy Type Theory: Univalent Foundations of Mathematics
The {Univalent Foundations Program}
- 发布渠道
- 在线发布
- 编写 / 发布年份
- 2013
- 作品或作者主页
- 未提供
- 数学分类
- 类型论与数学基础
关联讲义
暂无关联讲义。
本书涉及的术语
暂无关联到本书的术语。
收录 0 份译本 · 0 份讲义
原著 · 未出版
The {Univalent Foundations Program}