阿伦斯，贝内迪克特;北，Paige Randall;范德维德，尼尔斯 双范畴类型理论：语义和句法。 （英语） Zbl 07813371号 数学。结构。计算。科学。 33，第10号，868-912（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人，《数学》。结构。计算。科学。33，编号10，868--912（2023；Zbl 07813371） 全文： DOI程序 arXiv公司 OA许可证
乌尔里克·巴赫霍尔茨;埃格伯特·里杰克 同伦群的长精确序列。 （英语） Zbl 07813365号 数学。结构。计算。科学。 33，第8号，679-687（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{U.Buchholtz}和\textit{E.Rijke}，数学。结构。计算。科学。33，编号8，679--687（2023；Zbl 07813365） 全文： DOI程序 arXiv公司
Taxerás Flaten，Jarl G。 模块的单价类别。 （英语） Zbl 07813327号 数学。结构。计算。科学。 33，编号2，106-133（2023）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Taxerás Flaten}，数学。结构。计算。科学。33，编号2，106--133（2023；Zbl 07813327） 全文： DOI程序 arXiv公司 OA许可证
弗拉基米尔·沃沃德斯基 相对单体上模的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.纯应用。代数227，第6期，文章ID 107283，61页（2023；Zbl 1507.18009） 全文： DOI程序 arXiv公司
安东尼·博尔吉 C系统的解释提升定理。 （英语） Zbl 1483.18003号 理论应用。类别。 38, 214-231 (2022). 审核人：谢尔盖斯·索洛夫乔夫斯（普拉哈） MSC公司：18立方厘米 18 C50 18层20 PDF格式BibTeX公司 XML格式引用 \textit｛A.Bordg｝，理论应用。类别。38、214--231（2022；Zbl 1483.18003） 全文： arXiv公司 链接
阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;尼科洛·维尔特里;范德维德，尼尔斯 单价基础中的双范畴。 （英语） Zbl 1514.18019号 数学。结构。计算。科学。 31，第10号，1232-1269（2021）.MSC公司：18N10型 03B38型 18号45 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人，《数学》。结构。计算。科学。31，第10号，1232--1269（2021；Zbl 1514.18019） 全文： DOI程序
阿尔伯托省纳瓦罗·加门迪亚 弗拉基米尔·沃沃德斯基，2002年菲尔兹奖。（弗拉基米尔·沃沃德斯基，麦达拉油田，2002年） （西班牙语） Zbl 1485.01060号 盖克。R.Soc.材料Esp。 24，第3号，623-643（2021）.MSC公司：01A70号 14C15号 14层42层 PDF格式BibTeX公司 XML格式引用 \textit{A.Navarro Garmendia}，乔治亚州。R.Soc.Mat.Esp.24，编号3623-643（2021；兹bl 1485.01060） 全文： 链接 反向链接： 卫生官员
阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马尔科·马格西 可呈现的签名和初始语义。 （英语） Zbl 07379288号 日志。方法计算。科学。 17，第2号，第17号论文，28页（2021年）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人，日志。方法计算。科学。17，第2号，第17号论文，28页（2021；Zbl 07379288） 全文： DOI程序 arXiv公司
马克·贝泽姆;乌尔里克·巴赫霍尔茨;丹尼尔·格雷森。;舒尔曼，迈克尔 圆的构造大学数学. （英语） Zbl 07357172号 J.纯应用。代数 225，第10号，文章ID 106687，21页（2021）.MSC公司：03B38型 03B70号 55单位35 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bezem}等人，J.Pure Appl。代数225，第10号，文章ID 106687，21页（2021；Zbl 07357172） 全文： DOI程序 arXiv公司 OA许可证
Krzysztof卡普尔金;彼得·勒法努·卢姆斯代恩 具有属性的类别中的同伦逆图。 （英语） Zbl 1453.18007号 J.纯应用。代数 225，第4期，文章ID 106563，44页（2021）. 审核人：Panagis Karazeris（帕特拉） MSC公司：18 C50 03B38型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{K.Kapulkin}和\textit{P.L.Lumsdaine}，J.Pure Appl。代数225，第4号，文章ID 106563，44页（2021；Zbl 1453.18007） 全文： DOI程序 arXiv公司
范德维德，尼尔斯;赫尔曼·格乌弗斯 机顶盒高电感类型的构造。 （英语） Zbl 07515964号 Barbara König（编辑），第35届编程语义数学基础会议论文集，MFPS XXXV，英国伦敦，2019年6月4-7日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。347, 261-280 (2019).MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.van der Weide}和\textit{H.Geuvers}，电子。注释Theor。计算。科学。347，261--280（2019；Zbl 07515964） 全文： DOI程序
阿伦斯，贝内迪克特;拉尔夫·马提斯;安德斯·莫特伯格 从签名到单子大学数学. （英语） 兹比尔1468.03007 J.汽车。推理 63，第2期，285-318（2019）.MSC公司：03B35型 03B38型 18立方厘米 18立方厘米 55单位35 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人，J.Autom。推理63，No.2，285--318（2019；Zbl 1468.03007） 全文： DOI程序 arXiv公司 OA许可证
Krzysztof卡普尔金;苏米奥·卡罗尔 有限完备范畴的内部语言。 （英语） Zbl 1462.18007号 选择。数学。，新序列号。 25，第2号，第33号论文，46页（2019年）. 审核人：朱莉·伯格纳（河畔） MSC公司：18号60 55单位35 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{K.Kapulkin}和\textit{K.Szumiło}，Sel。数学。，新序列号。25，第2号，第33号论文，46页（2019年；Zbl 1462.18007） 全文： DOI程序 arXiv公司
阿伦斯，贝内迪克特;彼得·勒法努·朗斯丹 显示的类别。 （英语） Zbl 1419.18001号 日志。方法计算。科学。 15，第1号，第20号论文，第18页（2019年）. 审核人：马可·贝尼尼（布奇纳斯科） MSC公司：18甲15 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}和\textit{P.Lefanu Lumsdaine}，Log。方法计算。科学。15，第1号，第20号论文，第18页（2019年；Zbl 1419.18001） 全文： arXiv公司
阿伦斯，贝内迪克特;安德雷·赫肖维茨;安布罗斯·拉丰;马可·马格西 高级签名和初始语义。 （英语） Zbl 1533.68184号 Ghica，Dan R.（ed.）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4日至8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第4条，22页（2018年）。MSC公司：68问题65 03B70号 18立方厘米 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人，LIPIcs——莱布尼茨国际程序。通知。119，第4条，22 p.（2018；Zbl 1533.68184） 全文： DOI程序
丹尼尔·格雷森。 数学家对单价基础的介绍。 （英语） Zbl 1461.03012号 牛市。美国数学。Soc.，新Ser。 55，第4期，427-450（2018）.MSC公司：03B38型 03B35型 03G30型 18甲15 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{D.R.格雷森}，公牛。美国数学。Soc.，新Ser。55，第4号，427--450（2018；Zbl 1461.03012） 全文： DOI程序 arXiv公司
阿伦斯，贝内迪克特;彼得·勒法努，朗斯丹;弗拉基米尔·沃沃德斯基 单价基础中类型理论的分类结构。 （英语） Zbl 1496.03053号 日志。方法计算。科学。 14，第3号，第18号论文，18页（2018）.MSC公司：03B38型 03楼50 18 C50 03B70号 55单位40 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人，日志。方法计算。科学。14，第3号，第18号论文，18页（2018；Zbl 1496.03053） 全文： DOI程序 arXiv公司
卡洛·安吉利;罗伯特·哈珀 更高维度的意义解释。 （英语） Zbl 1436.03102号 印度。数学。，新序列号。 第1期第29页，第135-149页（2018年）.MSC公司：03B38型 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{C.Angiuli}和\textit{R.Harper}，印度。数学。，新序列号。29，第1号，135--149（2018；Zbl 1436.03102） 全文： DOI程序
阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩 显示的类别。 （英语） 兹比尔1434.18002 Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第5条，第16页（2017年）。MSC公司：18甲15 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}和\textit{P.L.Lumsdaine}，LIPIcs——莱布尼茨国际程序。通知。84，第5条，第16页（2017年；Zbl 1434.18002） 全文： DOI程序
弗洛里斯·范·道恩;雅各布·冯·劳默;乌尔里克·巴赫霍尔茨 精益中的同伦类型理论。 （英语） Zbl 1484.68319号 Ayala-Rincón，Mauricio（编辑）等人，交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。10499, 479-495 (2017).MSC公司：68V20型 03B35型 03B38型 03G30型 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{F.van Doorn}等人，Lect。注释计算。科学。10499，479--495（2017；Zbl 1484.68319） 全文： DOI程序 arXiv公司