阿伦斯，贝内迪克特;北，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许可证
S.D.梅什韦利亚尼。 Karatsuba方法乘法多项式的认证程序。 （英语。俄文原件） Zbl 1494.68313号 程序。计算。柔和。 48，编号1，1-18（2022）; 译自Programmirovanie 48，No.1，3-22（2022）。MSC公司：68瓦30 13第05页 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.D.Meshveliani}，程序。计算。柔和。48，编号1，1--18（2022；Zbl 1494.68313）；译自Programmirovanie 48，No.1，3--22（2022） 全文： DOI程序
阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;尼科洛·维尔特里;范德维德，尼尔斯 单价基础中的双类别。 （英语） 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程序
雷纳尔德·阿弗尔德;雅克·加里格;诺瓦克，大卫;高福美斋川 用于概率和不确定性公理推理的可信单子。 （英语） Zbl 1493.03004号 J.功能。程序。 31，论文编号e17，38 p.（2021）. 审核人：亚历山大·戈伊（里昂） MSC公司：03B70号 03B35型 68甲18 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Affeldt}等人，J.Funct。程序。31，论文编号e17，第38页（2021；兹bl 1493.03004） 全文： DOI程序 arXiv公司
阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 可呈现的签名和初始语义。 （英语） Zbl 07379288号 日志。方法计算。科学。 17，第2号，第17号论文，28页（2021年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}等人，日志。方法计算。科学。17，第2号，第17号论文，28页（2021；Zbl 07379288） 全文： DOI程序 arXiv公司
伯拉克·埃基奇;塞萨里·卡利西克 在Coq中形式化的Kleisli构造的Mac Lane比较定理。 （英语） Zbl 1474.68455号 数学。计算。科学。 14，第3期，533-549（2020年）.MSC公司：68V20型 18甲15 18A40型 18立方厘米20 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Ekici}和\textit{C.Kaliszyk}，数学。计算。科学。14，第3号，533--549（2020；Zbl 1474.68455） 全文： DOI程序
范德维德，尼尔斯;赫尔曼·盖弗斯 机顶盒高电感类型的构造。 （英语） Zbl 07515964号 Barbara König（编辑），第35届编程语义数学基础会议论文集，MFPS XXXV，英国伦敦，2019年6月4-7日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。347, 261-280 (2019).MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.van der Weide}和\textit{H.Geuvers}，电子。理论注释。计算。科学。347，261--280（2019；Zbl 07515964） 全文： DOI程序
阿伦斯，贝内迪克特;拉尔夫·马提斯;安德斯·莫特伯格 从签名到单子大学数学. （英语） Zbl 1468.03007号 J.汽车。推理 63，第2期，285-318（2019）.MSC公司：03B35型 03B38型 18立方厘米 18立方厘米 55立方英寸35 68V20型 PDF格式BibTeX公司 XML格式引用 \文本{B.Ahrens}等人，J.Autom。推理63，No.2，285--318（2019；Zbl 1468.03007） 全文： DOI程序 arXiv公司
阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩 显示的类别。 （英语） Zbl 1419.18001号 日志。方法计算。科学。 15，第1号，第20号论文，第18页（2019年）. 审核人：马可·贝尼尼（布奇纳斯科） MSC公司：18甲15 03年11月15日 PDF格式BibTeX公司 XML格式引用 \textit｛B.Ahrens｝和\textit｛P.Lefanu Lumsdaine｝，日志。方法计算。科学。15，第1号，第20号论文，第18页（2019年；Zbl 1419.18001） 全文： arXiv公司
阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 高级签名和初始语义。 （英语） Zbl 07533329号 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 07533329） 全文： DOI程序
丹尼尔·格雷森（Daniel R.Grayson）。 为数学家介绍单价基础。 （英语） Zbl 1461.03012号 牛市。美国数学。Soc.，新Ser。 55，编号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 1433.68220号 Uustalu，Tarmo（编辑），第21届国际校样和程序类型会议，2015年5月18日至21日，爱沙尼亚塔林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。69，第2条，第23页（2018）。MSC公司：68问题65 18 C50 68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}和\textit{R.Matthes}，LIPIcs——莱布尼茨国际程序。通知。69，第2条，23 p.（2018；Zbl 1433.68220） 全文： DOI程序 arXiv公司
卡洛·安吉利;罗伯特·哈珀 更高维度的意义解释。 （英语） Zbl 1436.03102号 印度。数学。，新序列号。 29，第1期，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程序
阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩 显示的类别。 （英语） 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） 全文： DOI程序
阿伦斯，贝内迪克特;安德斯·莫特伯格 UniMath（扩展抽象）中的一些基础良好的树。 （英语） Zbl 1434.03023号 Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 9-17 (2016).MSC公司：03B35型 03B38型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}和\textit{A.Mörtberg}，莱克特。注释计算。科学。9725，9-17（2016；Zbl 1434.03023） 全文： DOI程序