安德烈·赫肖维茨
人员信息
SPARQL查询
优化列表
2020年–今天
2024 [j6] 安德烈·赫肖维茨 , 汤姆·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
变量绑定和替代(无名)虚拟对象。 日志。 方法计算。 科学。 20 ( 1 ) ( 2024 ) 2022 [j5] 安德烈·赫肖维茨 , 汤姆·赫肖维茨 , 安布罗西·拉丰 :
单体上的模块和操作语义(扩展版本)。 日志。 方法计算。 科学。 18 ( 三 ) ( 2022 ) [第11条] 安德烈·赫肖维茨 , 汤姆·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
变量绑定和替代(无名)虚拟对象。 FoSSaCS公司 2022 : 389-408 [第九章] 安德烈·赫肖维茨 , 汤姆·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
变量绑定和替代(无名)虚拟对象。 CoRR公司 abs/2209.02614 ( 2022 ) 2021 【j4】 Benedikt Ahrens公司 , 安德烈·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
可呈现的签名和初始语义。 日志。 方法计算。 科学。 17 ( 2 ) ( 2021 ) 2020 [j3] Benedikt Ahrens公司 , 安德烈·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
还原单子及其签名。 程序。 ACM计划。 语言。 4 ( POPL公司 ) : 31:1-31:29 ( 2020 ) [第10条] 安德烈·赫肖维茨 , 汤姆·赫肖维茨 , 安布罗西·拉丰 :
单数和操作语义上的模块。 金融稳定与发展部 2020 : 12:1-12:23 [i8] 安德烈·赫肖维茨 , 汤姆·赫肖维茨 , 安布罗西·拉丰 :
单体上的模块和操作语义。 CoRR公司 abs/2012.06530 ( 2020 )
2010 – 2019
2019 【c9】 Benedikt Ahrens公司 , 安德烈·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
通过高阶演示的单子模块规范。 金融稳定与发展部 2019 : 6:1-6:19 [i7] Benedikt Ahrens公司 , 安德烈·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
通过高阶表示对单子进行模块化规范。 CoRR公司 abs/1903.00922 ( 2019 ) [i6] Benedikt Ahrens公司 , 安德烈·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
还原单子及其签名。 CoRR公司 腹肌/1911.06391 ( 2019 ) 2018 【c8】 Benedikt Ahrens公司 , 安德烈·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
高级签名和初始语义。 CSL公司 2018 : 4:1-4:22 [i5] Benedikt Ahrens公司 , 安德烈·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
高级签名和初始语义。 CoRR公司 abs/1805.03740 ( 2018 ) 2015 【c7】 安德烈·赫肖维茨 , 汤姆·赫肖维茨 , 尼古拉斯·塔巴鲁 :
类型理论中同伦假设的野生欧米伽分类。 薄层色谱分析 2015 : 226-240 2012 [注2] 安德烈·赫肖维茨 , 马可·马格西 :
Coq中的嵌套抽象语法。 J.汽车。 原因。 49 ( 三 ) : 409-426 ( 2012 ) 【c6】 安德烈·赫肖维茨 , 马可·马格西 :
增强签名的初始语义。 菲莎国际学院 2012 : 31-38 2010 [j1] 安德烈·赫肖维茨 , 马可·马格西 :
单体上的模块和初始语义。 Inf.计算。 208 ( 5 ) : 545-564 ( 2010 )
2000 – 2009
2009 【c5】 安德烈·赫肖维茨 , 米歇尔·赫肖维茨 , 汤姆·赫肖维茨 :
线性逻辑的无契约证明和金融游戏。 MFPS公司 2009 : 287-305 [i4] 安德烈·赫肖维茨 , 米歇尔·赫肖维茨 , 汤姆·赫肖维茨 :
线性逻辑的无收缩证明和有限对策。 CoRR公司 abs/0905.4064 ( 2009 ) 2008 [i3] 安德烈·赫肖维茨 , 米歇尔·赫肖维茨 , 汤姆·赫肖维茨 :
乘加线性逻辑的拓扑观察。 CoRR公司 abs/0807.2636 ( 2008 ) 2007 【c4】 米歇尔·赫肖维茨 , 安德烈·赫肖维茨 , 汤姆·赫肖维茨 :
博弈论理论。 FSTTCS公司 2007 : 192-203 【c3】 安德烈·赫肖维茨 , 马可·马格西 :
单数模和线性模。 沃尔利克 2007 : 218-237 [i2] 安德烈·赫肖维茨 , 马可·马格西 :
λ-微积分的代数性。 CoRR公司 abs/0704.2900 ( 2007 ) 2006 [i1] 安德烈·赫肖维茨 , 马可·马格西 :
单数模和线性模。 CoRR公司 abs/cs/0608051 ( 2006 )
1990 – 1999
1999 [电子1] 伊夫·贝托特 , 吉尔斯·道克 , 安德烈·赫肖维茨 , 克里斯汀·保林·莫林 , 洛朗·塞里 :
《高阶逻辑中的定理证明》,第12届国际会议,TPHOL'99,法国尼斯,1999年9月,会议记录。 计算机科学课堂讲稿 1690, 施普林格 1999 ,国际标准图书编号 3-540-66463-7 [目录] 1995 【c2】 Joëlle Despeyroux公司 , 艾米·费尔蒂 , 安德烈·赫肖维茨 :
Coq中的高阶抽象语法。 薄层色谱分析 1995 : 124-138 1994 【c1】 乔尔·德斯佩罗 , 安德烈·赫肖维茨 :
Coq中带归纳的高阶抽象句法。 LPAR公司 1994 : 159-173