阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;尼科洛Veltri;范德维德，尼尔斯 单价基础中的双类别。 （英语） Zbl 1514.18019号 数学。结构。计算。科学。 31，第10号，1232-1269（2021）.MSC公司：18N10型 03B38型 18号45 68版本20 PDF格式BibTeX公司 XML格式引用 \textit｛B.Ahrens｝等人，《数学》。结构。计算。科学。31，第10号，1232--1269（2021；Zbl 1514.18019） 全文： 内政部
阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;范德维德，尼尔斯 单价基础中的双类别。 （英语） Zbl 1528.18019号 Geuvers，Herman（编辑），第四届计算和推导形式结构国际会议，FSCD 2019，德国多特蒙德，2019年6月24日至30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第5条，第17页（2019）。MSC公司：18N10型 03B38型 18号45 68版本20 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人，LIPIcs——莱布尼茨国际程序。通知。131，第5条，第17页（2019年；Zbl 1528.18019） 全文： 内政部 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 1433.68220号 Uustalu，Tarmo（编辑），第21届国际证明和程序类型会议，2015年类型，2015年5月18日至21日，爱沙尼亚塔林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。69，第2条，第23页（2018年）。MSC公司：68问题65 18 C50 68伏15 68版本20 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}和\textit{R.Matthes}，LIPIcs——莱布尼茨国际程序。通知。69，第2条，23 p.（2018；Zbl 1433.68220） 全文： 内政部 arXiv公司