Benedikt Ahrens公司
人员信息
SPARQL查询
优化列表
2020年–今天
2024 [第17条] 尼尔斯·范德魏德 , 尼玛·拉塞克 , Benedikt Ahrens公司 , Paige Randall北部 :
单价双重类别。 清洁石油产品 2024 : 246-259 [第16条] Benedikt Ahrens公司 , 拉尔夫·马提斯 , 尼尔斯·范德魏德 , 科比·伍勒特 :
线性逻辑语义的显示单体范畴。 清洁石油产品 2024 : 260-273 [第15条] 拉尔夫·马提斯 , 科比·伍勒特 , Benedikt Ahrens公司 :
通过单体范畴用活页夹替换非完善语法。 金融稳定与发展部 2024 : 25:1-25:22 [i26] 托马斯·拉米奥 , Benedikt Ahrens公司 :
介绍初始语义的不同方法。 CoRR公司 abs/2401.09366 ( 2024 ) 2023 [j15] Benedikt Ahrens公司 , Paige Randall北部 , 尼尔斯·范德魏德 :
双范畴类型理论:语义和句法。 数学。 结构。 计算。 科学。 33 ( 10 ) : 868-912 ( 2023 ) [i25] Benedikt Ahrens公司 , 拉尔夫·马提斯 , 科比·伍勒特 :
用活页夹形式化单体范畴和语法动作。 CoRR公司 abs/2307.16270 ( 2023 ) 【i24】 拉尔夫·马提斯 , 科比·伍勒特 , Benedikt Ahrens公司 :
用活页夹替换非良好语法。 CoRR公司 abs/2308.05485 ( 2023 ) [第23条] 尼尔斯·范德魏德 , 尼玛·拉塞克 , Benedikt Ahrens公司 , Paige Randall北部 :
单价双重类别。 CoRR公司 abs/2310.09220 ( 2023 ) 2022 [第14条] Benedikt Ahrens公司 , 拉尔夫·马提斯 , 安德斯·莫特伯格 :
实现类型化抽象语法的类别理论框架。 清洁石油产品 2022 : 307-323 [第13条] Benedikt Ahrens公司 , Paige Randall北部 , 尼尔斯·范德魏德 :
二维类型理论的语义学。 许可证 2022 : 12:1-12:14 [第12条] 科比·伍勒特 , 拉尔夫·马提斯 , Benedikt Ahrens公司 :
单价类。 类型 2022 : 15:1-15:21 [i22] 尼古拉斯·戴森 , Benedikt Ahrens公司 , 雅各布·埃梅内格 :
单变量多项式的解决方案,在Lean中实现和验证。 CoRR公司 abs/2201.00255 ( 2022 ) 【i21】 Benedikt Ahrens公司 , Paige Randall北部 , 尼尔斯·范德魏德 :
二维类型理论的语义学。 CoRR公司 abs/2201.10662 ( 2022 ) [i20] Benedikt Ahrens公司 , Paige Randall北部 :
单价基础和等价原则。 CoRR公司 abs/2202.01892 ( 2022 ) [i19] Benedikt Ahrens公司 , 科比·伍勒特 :
程序设计的范畴理论。 CoRR公司 abs/2209.01259 ( 2022 ) [i18] 科比·伍勒特 , 拉尔夫·马提斯 , Benedikt Ahrens公司 :
单价单体类。 CoRR公司 abs/2212.03146 ( 2022 ) 2021 [j14] Benedikt Ahrens公司 , 安德烈·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
可呈现的签名和初始语义。 日志。 方法计算。 科学。 17 ( 2 ) ( 2021 ) [j13] Benedikt Ahrens公司 , 西蒙·胡贝尔 , 安德斯·莫特伯格 :
MSCS第31.1期(2021)《同伦类型理论和单叶基础》前言。 数学。 结构。 计算。 科学。 31 ( 1 ) : 1-2 ( 2021 ) [公元12年] Benedikt Ahrens公司 , 西蒙·胡贝尔 , 安德斯·莫特伯格 :
MSCS第31.1期序言(2021)同伦类型理论和单叶基础——第二部分。 数学。 结构。 计算。 科学。 31 ( 4 ) : 361-362 ( 2021 ) [公元11年] Benedikt Ahrens公司 , 丹·弗鲁明 , 马可·马格西 , 尼科洛·维尔特里 , 尼尔斯·范德魏德 :
单价基础中的双类别。 数学。 结构。 计算。 科学。 31 ( 10 ) : 1232-1269 ( 2021 ) [i17] Benedikt Ahrens公司 , Paige Randall北部 , 迈克尔·舒尔曼 , 迪米特里斯·泽门齐斯 :
单价原则。 CoRR公司 腹肌/2102.06275 ( 2021 ) [i16] Benedikt Ahrens公司 , 拉尔夫·马提斯 , 安德斯·莫特伯格 :
实现类型化抽象语法的范畴理论框架。 CoRR公司 abs/2112.06984 ( 2021 ) 2020 [公元10年] Benedikt Ahrens公司 , 安德烈·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
还原单子及其签名。 程序。 ACM计划。 语言。 4 ( POPL公司 ) : 31:1-31:29 ( 2020 ) [第11条] Benedikt Ahrens公司 , Paige Randall北部 , 迈克尔·舒尔曼 , 迪米特里斯·泽梅齐斯 :
高级结构同一性原理。 许可证 2020 : 53-66 【i15】 Benedikt Ahrens公司 , Paige Randall北部 , 迈克尔·舒尔曼 , 迪米特里斯·泽梅齐斯 :
高级结构同一性原理。 CoRR公司 腹肌/2004.06572 ( 2020 )
2010 – 2019
2019 [公元9年] Benedikt Ahrens公司 , 拉尔夫·马提斯 , 安德斯·莫特伯格 :
从签名到UniMath中的单数。 J.汽车。 原因。 63 ( 2 ) : 285-318 ( 2019 ) [j8] Benedikt Ahrens公司 :
约简规则的初始语义。 日志。 方法计算。 科学。 15 ( 1 ) ( 2019 ) [j7] Benedikt Ahrens公司 , 彼得·勒法努·卢姆斯代恩 :
显示的类别。 日志。 方法计算。 科学。 15 ( 1 ) ( 2019 ) [第10条] Benedikt Ahrens公司 , 丹·弗鲁明 , 马可·马格西 , 尼尔斯·范德魏德 :
单价基础中的双类别。 金融稳定与发展部 2019 : 5:1-5:17 【c9】 Benedikt Ahrens公司 , 安德烈·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
通过高阶演示的单子模块规范。 金融稳定与发展部 2019 : 6:1-6:19 [第14条] Benedikt Ahrens公司 , 安德烈·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
通过高阶表示对单子进行模块化规范。 CoRR公司 abs/1903.00922 ( 2019 ) [i13] Benedikt Ahrens公司 , 丹·弗鲁明 , 马可·马格西 , 尼尔斯·范德魏德 :
单价基础中的双类别。 CoRR公司 abs/1903.01152 ( 2019 ) [i12] Benedikt Ahrens公司 , 安德烈·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
还原单子及其签名。 CoRR公司 腹肌/1911.06391 ( 2019 ) 2018 [j6] Benedikt Ahrens公司 , 彼得·勒法努·卢姆斯代恩 , 弗拉基米尔·沃沃德斯基 :
单价基础中类型理论的分类结构。 日志。 方法计算。 科学。 14 ( 三 ) ( 2018 ) 【c8】 Benedikt Ahrens公司 , 安德烈·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
高级签名和初始语义。 CSL公司 2018 : 4:1-4:22 [i11] Benedikt Ahrens公司 , 安德烈·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
高级签名和初始语义。 CoRR公司 abs/1805.03740 ( 2018 ) 2017 【c7】 Benedikt Ahrens公司 , 彼得·勒法努·卢姆斯代恩 , 弗拉基米尔·沃沃德斯基 :
单叶基础中类型理论的分类结构。 CSL公司 2017 : 8:1-8:16 【c6】 Benedikt Ahrens公司 , 彼得·勒法努·卢姆斯代恩 :
显示的类别。 金融稳定与发展部 2017 : 5:1-5:16 [i10] Benedikt Ahrens公司 , 彼得·勒法努·卢姆斯代恩 , 弗拉基米尔·沃沃德斯基 :
单价基础中类型理论的分类结构。 CoRR公司 abs/1705.04310 ( 2017 ) 2016 [j5] Benedikt Ahrens公司 :
语法和语义的相对单体上的模块。 数学。 结构。 计算。 科学。 26 ( 1 ) : 3-37 ( 2016 ) 【c5】 Benedikt Ahrens公司 , 安德斯·莫特伯格 :
UniMath中的一些基础良好的树-扩展抽象。 信息和通信管理系统 2016 : 9-17 [第九章] Benedikt Ahrens公司 , 拉尔夫·马修斯 :
重新审视异质替代系统。 CoRR公司 腹肌/1601.04299 ( 2016 ) [i8] Benedikt Ahrens公司 , 拉尔夫·马提斯 , 安德斯·莫特伯格 :
从UniMath中的签名到单子。 CoRR公司 abs/1612.00693 ( 2016 ) 2015 【j4】 Benedikt Ahrens公司 :
类型化语法和语义的首字母缩写。 J.福尔马利兹。 原因。 8 ( 2 ) : 1-155 ( 2015 ) [j3] Benedikt Ahrens公司 , Krzysztof Kapulkin公司 , 迈克尔·舒尔曼 :
单价类别和Rezk完成。 数学。 结构。 计算。 科学。 25 ( 5 ) : 1010-1039 ( 2015 ) 【c4】 Benedikt Ahrens公司 , 保罗·卡普里奥蒂 , 雷吉斯·斯帕多蒂 :
同伦类型理论中的非良树。 薄层色谱分析 2015 : 17-30 【c3】 Benedikt Ahrens公司 , 拉尔夫·马提斯 :
重新审视异质替代系统。 类型 2015 : 2:1-2:23 [i7] Benedikt Ahrens公司 , 保罗·卡普里奥蒂 , 雷吉斯·斯帕多蒂 :
同伦类型理论中的非wellfounded树。 CoRR公司 abs/1504.02949 ( 2015 ) 2014 【c2】 Benedikt Ahrens公司 , 雷吉斯·斯帕多蒂 :
内涵Martin-Löf类型理论中Codata类型的终端语义。 类型 2014 : 1-26 [i6] Benedikt Ahrens公司 , 雷吉斯·斯帕多蒂 :
三角矩阵重新装饰的共初始语义。 CoRR公司 abs/1401.1053 ( 2014 ) 2012 [注2] Benedikt Ahrens公司 :
类型化抽象语法的扩展首字母。 日志。 方法计算。 科学。 8 ( 2 ) ( 2012 ) 【c1】 Benedikt Ahrens公司 :
键入语法和语义的缩写。 沃尔利克 2012 : 127-141 [i5] Benedikt Ahrens公司 :
键入语法和语义的缩写。 CoRR公司 abs/1206.4547 ( 2012 ) [i4] Benedikt Ahrens公司 :
键入语法和语义的缩写。 CoRR公司 abs/1206.4556 ( 2012 ) [i3] Benedikt Ahrens公司 :
约简规则的初始语义。 CoRR公司 abs/1212.5668 ( 2012 ) 2011 [j1] Benedikt Ahrens公司 , 朱利安娜·齐多 :
Coq中高阶类型语法的初始语义。 J.福尔马利兹。 原因。 4 ( 1 ) : 25-69 ( 2011 ) [i2] Benedikt Ahrens公司 :
语法和语义的相对单体上的模块。 CoRR公司 abs/1107.5252 ( 2011 ) 2010 [i1] Benedikt Ahrens公司 , 朱利安娜·齐多 :
高阶类型语法的初始语义。 CoRR公司 abs/1012.1010 ( 2010 )