Introduction - from type theory and homotopy theory to univalent foundations
Introduction - from type theory and homotopy theory to univalent foundations
复制标题
简介 - 从类型论和同伦论到单价基础
DOI：
10.1017/s0960129514000474
复制
发表时间：
2015
影响因子：
0.5
通讯作者：
AWODEY S
中科院分区：
文献类型：
--
作者：
AWODEY S
