编辑配置文件（在新选项卡中打开） 阿伦斯，贝内迪克特 合著者距离 作者ID： 艾伦斯·本尼迪克特 发布日期： 阿伦斯，贝内迪克特 主页： https://benediktahrens.net 外部链接： MGP公司·ORCID公司·谷歌学者·数据库管理程序·ID参考·这些.fr 已编制索引的文档： 32出版物自2011年起，包括8个附加arXiv预打印 2作为编辑的贡献·1进一步贡献 合著者： 22合著者具有30联合出版物 224位合著者 全部的 前5名合著者 5 单作者的 7 北，Paige Randall 5 彼得·勒法努·卢姆斯代恩 5 马可·马格西 5 拉尔夫·马提斯 5 安德斯·莫特伯格 5 范德维德，尼尔斯 4 Michael A.舒尔曼。 三 安德烈·赫肖维茨 三 安布罗斯·拉丰 三 弗拉基米尔·阿列克桑德罗维奇（Vladimir Aleksandrovich） 三 神户·沃勒特 2 丹·弗鲁明 2 西蒙·胡贝尔 2 Krzysztof卡普尔金 2 尼玛·拉塞克 2 埃格伯特·里杰克 2 雷吉斯，斯帕多蒂 2 季米特里斯·泽门齐斯 1 彼得·阿策尔 1 托尔斯滕·阿滕柯奇 1 卡洛·安吉利 1 杰里米·阿维加德 1 史蒂夫·阿沃迪 1 布鲁诺·巴拉斯 1 安德烈·鲍尔 1 伊夫·贝托特 1 马克·贝泽姆 1 安东尼·博尔吉 1 纪尧姆·布鲁内里 1 保罗·卡普里奥蒂 1 科恩，西里尔 1 罗伯特·李，警察 1 可口、蒂埃里 1 皮埃尔·卢伊斯·居里 1 彼得·戴比杰 1 雅各布·埃梅内格 1 埃里克·芬斯特 1 甘比诺，尼古拉 1 理查德·加纳 1 乔治·戈蒂尔 1 丹尼尔·理查德·格雷森 1 托马斯·卡利斯特·黑尔斯 1 罗伯特·哈珀 1 雨果·赫贝林 1 马丁·霍夫曼 1 彼得·霍夫斯特拉（Pieter J.W.Hofstra）。 1 Hötzel Escardó，马汀 1 Hou（Favonia）、Kuen-Bang 1 安德烈·乔亚尔 1 约阿希姆·科克 1 尼古拉·克劳斯 1 李诺 1 丹·利卡塔 1 罗朝晖 1 阿西亚·马布比 1 马丁·洛夫（Martin-Löf，Per） 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 迈克尔·纳哈斯 1 埃里克·帕尔姆格伦 1 阿尔瓦罗·佩莱奥 1 安德鲁·波伦斯基 1 艾米丽·里尔 1 达娜·斯图尔特·斯科特 1 菲利普·斯科特。 1 克里斯蒂娜·索贾科娃 1 索洛夫·弗拉基米洛维奇 1 索索、马蒂厄 1 溅出物，Bas 1 1 本诺·范登伯格 1 尼科洛·维尔特里 1 沃伦、迈克尔·奥尔顿 1 诺姆·齐尔伯格 1 朱利安娜·兹多夫 系列 6 MSCS公司。计算机科学中的数学结构 5 计算机科学中的逻辑方法 2 形式化推理杂志 1 自动推理杂志 领域 20 范畴理论；同调代数（18-XX） 19 数学逻辑和基础（03-XX） 19 计算机科学（68至XX） 8 代数拓扑（55-XX） 2 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用77次41文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 单价类别和Rezk完成。 Zbl 1362.18003号 阿伦斯，贝内迪克特;Krzysztof卡普尔金;舒尔曼，迈克尔 23 2015 显示的类别。 Zbl 1419.18001号 阿伦斯，贝内迪克特;彼得·勒法努·朗斯丹 7 2019 单价基础中类型理论的分类结构。 Zbl 1496.03053号 阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩;弗拉基米尔·沃沃德斯基 6 2018 语法和语义的相对单体上的模块。 Zbl 1361.68034号 阿伦斯，贝内迪克特 6 2016 同伦类型理论中的非wellfounded树。 Zbl 1433.03027号 阿伦斯，贝内迪克特;保罗·卡普里奥蒂;雷吉斯·斯帕多蒂 6 2015 从签名到单子大学数学. Zbl 1468.03007号 阿伦斯，贝内迪克特;拉尔夫·马提斯;安德斯·莫特伯格 三 2019 单价基础中类型理论的分类结构。 Zbl 1528.03100号 阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩;弗拉基米尔·沃沃德斯基 三 2017 显示的类别。 Zbl 1434.18002号 阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩 三 2017 更高层次的结构同一性原理。 兹比尔1498.03027 阿伦斯，贝内迪克特;北，Paige Randall;舒尔曼，迈克尔;季米特里斯·泽门齐斯 三 2020 重新审视异质替代系统。 Zbl 1433.68220号 阿伦斯，贝内迪克特;拉尔夫·马提斯 2 2018 中高阶类型语法的初始语义Coq公司. Zbl 1451.68312号 阿伦斯，贝内迪克特;朱莉安娜·兹多 2 2011 高级签名和初始语义。 Zbl 07533329号 阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 2 2018 可呈现的签名和初始语义。 Zbl 07379288号 阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 2 2021 单价基础中的双类别。 Zbl 1528.18019号 阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;范德维德，尼尔斯 2 2019 通过高阶表示对单子进行模块化规范。 Zbl 07559272号 阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 2 2019 类型化语法和语义的缩写。 Zbl 1362.68040号 阿伦斯，贝内迪克特 1 2012 UniMath中一些基础良好的树（扩展抽象）。 Zbl 1434.03023号 阿伦斯，贝内迪克特;安德斯·莫特伯格 1 2016 内涵Martin-Löf类型理论中尾数据类型的终端语义。 Zbl 1367.68204号 阿伦斯，贝内迪克特;雷吉斯·斯帕多蒂 1 2015 类型化语法和语义的缩写。 Zbl 1451.68072号 阿伦斯，贝内迪克特 1 2015 单价基础中的双范畴。 Zbl 1514.18019号 阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;尼科洛·维尔特里;范德维德，尼尔斯 1 2021 可呈现的签名和初始语义。 Zbl 07379288号 阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗瓦斯·拉丰;马可·马格西 2 2021 单价基础中的双类别。 Zbl 1514.18019号 阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;尼科洛·维尔特里;范德维德，尼尔斯 1 2021 更高层次的结构同一性原理。 Zbl 1498.03027号 阿伦斯，贝内迪克特;北，Paige Randall;舒尔曼，迈克尔;季米特里斯·泽门齐斯 三 2020 显示的类别。 Zbl 1419.18001号 阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩 7 2019 从签名到单子大学数学. Zbl 1468.03007号 阿伦斯，贝内迪克特;拉尔夫·马提斯;安德斯·莫特伯格 三 2019 单价基础中的双类别。 Zbl 1528.18019号 阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;范德维德，尼尔斯 2 2019 通过高阶表示对单子进行模块化规范。 Zbl 07559272号 阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 2 2019 单价基础中类型理论的分类结构。 Zbl 1496.03053号 阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩;弗拉基米尔·沃沃德斯基 6 2018 重新审视异质替代系统。 Zbl 1433.68220号 阿伦斯，贝内迪克特;拉尔夫·马提斯 2 2018 高级签名和初始语义。 Zbl 07533329号 阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西 2 2018 单价基础中类型理论的分类结构。 Zbl 1528.03100号 阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩;弗拉基米尔·沃沃德斯基 三 2017 显示的类别。 兹比尔1434.18002 阿伦斯，贝内迪克特;彼得·勒法努·卢姆斯代恩 三 2017 语法和语义的相对单体上的模块。 Zbl 1361.68034号 阿伦斯，贝内迪克特 6 2016 UniMath（扩展抽象）中的一些基础良好的树。 Zbl 1434.03023号 阿伦斯，贝内迪克特;安德斯·莫特伯格 1 2016 单价类别和Rezk完成。 Zbl 1362.18003号 阿伦斯，贝内迪克特;克日什托夫·卡普尔金;舒尔曼，迈克尔 23 2015 同伦类型理论中的非wellfounded树。 Zbl 1433.03027号 阿伦斯，贝内迪克特;保罗·卡普里奥蒂;雷吉斯·斯帕多蒂 6 2015 内涵Martin-Löf类型理论中尾数据类型的终端语义。 Zbl 1367.68204号 阿伦斯，贝内迪克特;雷吉斯·斯帕多蒂 1 2015 类型化语法和语义的缩写。 Zbl 1451.68072号 阿伦斯，贝内迪克特 1 2015 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 类型化语法和语义的缩写。 Zbl 1362.68040号 阿伦斯，贝内迪克特 1 2012 中高阶类型语法的初始语义Coq公司. Zbl 1451.68312号 阿伦斯，贝内迪克特;朱莉安娜·兹多 2 2011 所有引用出版物 前5名被引用出版物 全部的 前5名59位作者引用 13 阿伦斯，贝内迪克特 6 安布罗斯·拉丰 6 马可·马格西 5 安德烈·赫肖维茨 5 范德维德，尼尔斯 三 彼得·勒法努·卢姆斯代恩 三 安德斯·莫特伯格 2 乌尔里克·巴赫霍尔茨 2 丹·弗鲁明 2 汤姆·赫肖维茨 2 安布罗斯·卡波西 2 科瓦奇，安德拉斯 2 拉尔夫·马提斯 2 北，Paige Randall 2 尼科洛·维尔特里 2 弗拉基米尔·阿列克桑德罗维奇（Vladimir Aleksandrovich） 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 丹尼尔·安尼科夫 1 亚历山大·贝林森。 1 安东尼·博尔吉 1 保罗·卡普里奥蒂 1 西蒙·卡斯特伦 1 埃文·卡瓦洛 1 皮埃尔·克莱兰堡 1 可口、蒂埃里 1 丹尼尔森、尼尔斯·安德斯 1 卡特里娜Dutilh Novaes 1 彼得·戴比杰 1 简·赫尔曼·杰弗斯 1 丹尼尔·理查德·格雷森 1 罗伯特·哈珀 1 皮埃尔·海韦拉特 1 大卫·卡日丹 1 尼古拉·克劳斯 1 加布里埃尔·洛比亚 1 玛丽亚·艾米莉亚·梅埃蒂 1 丹尼尔·马歇尔。 1 萨缪尔·马斯基奥 1 Aleksandr Sergeevich Merkur’ev 1 阿尔贝托·纳瓦罗·加门迪亚 1 多米尼克·A·乌节。 1 奥尔洛夫，德米特里·O。 1 埃里克·帕尔姆格伦 1 伊万·帕宁（Ivan A.Panin）。 1 迈克尔·拉特扬 1 艾米丽·里尔 1 克里斯蒂安·萨特勒 1 乔治·鲍里索维奇·沙巴特 1 Michael A.舒尔曼。 1 拉斐尔·斯坦泽尔 1 乔纳森·斯特林 1 安德烈·苏斯林（Andre Suslin，Aleksandrovich） 1 季米特里斯·泽门齐斯 1 尼古拉·泰林（Nikola Tyurin，Andreevich） 1 弗洛里斯·范·道恩 1 安德烈亚·维佐西 1 亚历山大·维希克 1 迈克尔·沃尔默 1 雅各布·冯·劳默 全部的 前5名13篇连载文章中引用 9 计算机科学中的逻辑方法 4 MSCS公司。计算机科学中的数学结构 2 纯粹与应用代数杂志 2 合成 1 俄罗斯数学调查 1 自动推理杂志 1 美国数学学会公报。新系列 1 Indagationes Mathematicae公司。新系列 1 应用的分类结构 1 函数编程杂志 1 范畴的理论与应用 1 西班牙皇家马特马提卡足球俱乐部（La Gaceta de La Real Sociedad Matemática Española） 1 高层建筑 全部的 前5名在8个字段中引用 28 数学逻辑和基础（03-XX） 21 范畴理论；同调代数（18-XX） 21 计算机科学（68至XX） 11 代数拓扑（55-XX） 2 历史和传记（01-XX） 1 一般代数系统（08-XX） 1 代数几何（14-XX） 1 群论与推广（20-XX） 按年份列出的引文