×
史蒂夫·阿沃迪;尼古拉·甘比诺;克里斯蒂娜·索贾科娃

类型理论中的同伦初始代数。 （英语） Zbl 1426.03016号

J.ACM公司 63，第6号，第51条，第45页（2017）.

引用于4文件

MSC公司：

03B38型 类型理论
03G30型 范畴逻辑，拓扑
18立方厘米 理论（例如代数理论）、结构和语义
55单位35 代数拓扑中的抽象与公理同伦理论

关键词：

同构型理论;W型;归纳;初始代数;递归
PDF格式BibTeX公司 XML格式引用
\textit{S.Awodey}et al.，J.ACM 63，No.6，Article No.51，45 p.（2017；Zbl 1426.03016）
全文： DOI程序 arXiv公司 链接