弗拉基米尔·沃沃德斯基 相对单体上模的C系。 (英语) Zbl 1507.18009号 J.纯应用。代数 227,第6号,文章ID 107283,61 p.(2023). 审核人:Hirokazu Nishimura(筑波) MSC公司:18立方厘米 03B60号 18纳米45 PDF格式BibTeX公司 XML格式引用 \textit{V.Voevodsky},J.Pure应用。代数227,第6号,文章ID 107283,61 p.(2023;Zbl 1507.18009) 全文: 内政部 arXiv公司
上村,太极 通用指数箭头。 (英语) Zbl 1524.18005号 J.纯应用。代数 226,第7期,文章ID 106991,32页(2022).MSC公司:18个40 18立方厘米 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{T.Uemura},J.Pure应用。代数226,第7号,文章ID 106991,32页(2022;Zbl 1524.18005) 全文: 内政部 arXiv公司
本诺·范登伯格;Moerdijk,比如 路径范畴和代数集合论的精确完备。一: 路径类别的精确完成。 (英语) 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公司
理查德·加纳 类型依赖的组合结构。 (英语) Zbl 1369.03096号 J.纯应用。代数 219,第6期,1885-1914(2015).MSC公司:03B15号机组 03G30型 18立方厘米 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{R.Garner},J.Pure应用程序。《代数219》,第6期,1885-1914(2015;Zbl 1369.03096) 全文: 内政部 arXiv公司
大卫·派姆;艾克·里特 关于经典析取的语义。 (英语) Zbl 0981.03018号 J.纯应用。代数 159,编号2-3,315-338(2001). 审核人:安德烈亚·坎蒂尼(费伦泽) MSC公司:03B40型 03财年03 03G30型 03B05号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Pym}和\textit{E.Ritter},J.Pure Appl。代数159,No.2--3,315--338(2001;Zbl 0981.03018) 全文: 内政部