雅各布·埃梅内格;法比奥·帕斯夸利;朱塞佩·罗索里尼 基本纤维的特征。 (英语) Zbl 1492.18008号 Ann.纯粹应用。逻辑 173,第6号,文章ID 103103,29 p.(2022). 审核人:罗伯特·罗斯布鲁(萨克维尔) MSC公司:18立方厘米 18 C50 03G30型 18天30分 18D40号 18号45 PDF格式BibTeX公司 XML格式引用 \textit{J.Emmenegger}等人,Ann.纯应用。逻辑173,第6号,文章ID 103103,29页(2022;Zbl 1492.18008) 全文: 内政部 arXiv公司 OA许可证
本诺·范登伯格 单价多态性。 (英语) Zbl 1440.18048号 Ann.纯粹应用。逻辑 171,第6号,文章ID 102793,29 p.(2020). 审核人:Hirokazu Nishimura(筑波) MSC公司:18号45 03B38型 03英尺50英寸 03G30型 18 C50 55单位35 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg},Ann.《纯粹的应用》。逻辑171,第6号,文章ID 102793,29页(2020;Zbl 1440.18048) 全文: 内政部 arXiv公司
伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。 基于摩尔路径的类型理论模型。 (英语) Zbl 1509.03055号 日志。方法计算。科学。 15,第1号,第2号论文,24页(2019年).MSC公司:03B38型 03G30型 18对25 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{I.Orton}和\textit{A.M.Pitts},Log。方法计算。科学。15,第1号,第2号论文,24页(2019年;Zbl 1509.03055) 全文: 内政部 arXiv公司
本诺·范登伯格;Moerdijk,比如 路径范畴和代数集理论的精确完备性。I: 路径类别的精确完成。 (英语) Zbl 1420.18034号 J.纯应用。代数 222,第10号,3137-3181(2018). 审核人:菲利普·高彻(巴黎) MSC公司:18G55型 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg}和\textit{I.Moerdijk},J.Pure Appl。代数222,No.10,3137--3181(2018;Zbl 1420.18034) 全文: 内政部 arXiv公司