阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩 显示的类别。 （英文） Zbl 1419.18001号 日志。方法计算。科学。 15，第1号，第20号论文，第18页（2019年）. 审核人：马可·贝尼尼（布奇纳斯科） MSC公司：第18页第15页 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit｛B.Ahrens｝和\textit｛P.Lefanu Lumsdaine｝，日志。方法计算。科学。15，第1号，第20号论文，第18页（2019年；Zbl 1419.18001） 全文： 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） 全文： 内政部 arXiv公司
阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩 显示的类别。 （英文） Zbl 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） 全文： 内政部
阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩;弗拉基米尔·沃沃德斯基 单价基础中类型理论的分类结构。 （英文） Zbl 1528.03100号 Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。82，第8条，第16页（2017年）。MSC公司：03B38型 03楼50 03B70号 18 C50 55单位40 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人，LIPIcs——莱布尼茨国际程序。通知。82，第8条，第16页（2017；Zbl 1528.03100） 全文： 内政部
杰里米·阿维加德;Krzysztof卡普尔金;彼得·勒法努·卢姆斯代恩 类型理论中的同伦极限。 （英文） Zbl 1362.18004号 数学。结构。计算。科学。 25，第5期，1040-1070（2015）.MSC公司：第18页第15页 03B15号机组 55单位40 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad}等人，《数学》。结构。计算。科学。25，第5号，1040--1070（2015；Zbl 1362.18004） 全文： 内政部 arXiv公司