安德烈亚·维佐西
人员信息
优化列表
2020年-今天
2023 [j7] 尼科洛·维尔特里 , 安德烈亚·维佐西 :
CCS和 π -守卫立方代数中的微积分。 J.日志。 代数方法程序。 131 : 100846 ( 2023 ) 2022 [第11条] 马格努斯·鲍恩斯加德-克里斯滕森 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 安德烈亚·维佐西 :
最伟大的HIT:通过时钟下的感应,在共导定义中具有更高的感应类型。 许可证 2022 : 42:1-42:13 2021 [j6] 安德烈亚·维佐西 , 安德斯·莫特伯格 , 安德烈亚斯·阿贝尔 :
立方Agda:一种具有单价和更高归纳类型的独立类型编程语言。 J.功能。 程序。 31 : e8(电子8) ( 2021 ) [第10条] 保罗·卡普里奥蒂 , 尼尔斯·安德斯·丹尼尔森 , 安德烈亚·维佐西 :
更高的镜片。 许可证 2021 : 1月13日 [c9] 拉斯穆斯·埃杰莱斯·莫格伯格 , 安德烈亚·维佐西 :
用于应用仿真的两个保护递归幂域。 MFPS公司 2021 : 200-217 [i5] 马格努斯·鲍恩斯加德·克里斯滕森 , 拉斯穆斯·埃杰莱斯·莫格伯格 , 安德烈亚·维佐西 :
时钟立方型理论的一个模型。 CoRR公司 abs/2102.01969 ( 2021 ) 2020 【c8】 尼科洛·维尔特里 , 安德烈亚·维佐西 :
在保护立方Agda中形式化π-演算。 清洁石油产品 2020 : 270-283 【c7】 克里斯蒂安·萨特勒 , 安德烈亚·维佐西 :
n-截断型理论中的部分单叶性。 许可证 2020 : 807-819 [i4] 克里斯蒂安·萨特勒 , 安德烈亚·维佐西 :
n-截断型理论中的部分单叶性。 CoRR公司 腹肌/2005.00260 ( 2020 )
2010 – 2019
2019 [j5] 拉尔斯·比克达尔 , 亚历斯·比兹亚克 , 拉纳德·克鲁斯顿 , 汉斯·布格·格雷斯沃尔 , 低音喷溅 , 安德烈亚·维佐西 :
守卫立方型理论。 J.自动化。 原因。 63 ( 2 ) : 211-253 ( 2019 ) 【j4】 安德烈亚·维佐西 , 安德斯·莫特伯格 , 安德烈亚斯·阿贝尔 :
立方agda:一种具有单价和更高归纳类型的独立类型编程语言。 程序。 ACM计划。 语言。 三 ( ICFP公司 ) : 87:1-87:29 ( 2019 ) 2018 [j3] 安德烈亚斯·阿贝尔 , 约阿金·赫曼 , 安德烈亚·维佐西 :
类型理论中类型理论转换的决定性。 程序。 ACM计划。 语言。 2 ( POPL公司 ) : 23:1-23:29 ( 2018 ) 2017 [注2] 安德烈亚斯·努伊茨 , 安德烈亚·维佐西 , 多米尼克·德弗里斯 :
依赖类型理论的参数量词。 程序。 ACM计划。 语言。 1 ( ICFP公司 ) : 32:1-32:29 ( 2017 ) [j1] 安德烈亚斯·阿贝尔 , 安德烈亚·维佐西 , 塞奥·温特哈尔特 :
大小依赖类型的求值归一化。 程序。 ACM计划。 语言。 1 ( ICFP公司 ) : 33:1-33:30 ( 2017 ) 2016 【c6】 拉尔斯·比克达尔 , 亚历斯·比兹亚克 , 拉纳德·克鲁斯顿 , 汉斯·布格·格雷斯沃尔 , 低音喷溅 , 安德烈亚·维佐西 :
守卫立方类型理论:守卫递归的路径相等。 CSL公司 2016 : 23:1-23:17 【c5】 Ki Yung Ahn(基永安) , 安德烈亚·维佐西 :
使用Prolog的多态类型系统的可执行关系规范。 FLOPS(浮动) 2016 : 109-125 [i3] 拉尔斯·比克达尔 , 亚历斯·比兹亚克 , 拉纳德·克鲁斯顿 , 汉斯·布格·格雷斯沃尔 , 低音喷溅 , 安德烈亚·维佐西 :
守卫立方类型理论:守卫递归的路径相等。 CoRR公司 abs/1606.05223 ( 2016 ) [i2] 拉尔斯·比克达尔 , 亚历斯·比兹亚克 , 拉纳德·克鲁斯顿 , 汉斯·布格·格雷斯沃尔 , 低音喷溅 , 安德烈亚·维佐西 :
守卫立方型理论。 CoRR公司 abs/1611.09263 ( 2016 ) 2015 【c4】 保罗·卡普里奥蒂 , 尼古拉·克劳斯 , 安德烈亚·维佐西 :
高级截断之外的函数。 CSL公司 2015 : 359-373 【c3】 埃米尔·阿克塞尔松 , 安德烈亚·维佐西 :
Haskell中的轻量级高阶重写。 全要素生产率 2015 : 1-21 [i1] 保罗·卡普里奥蒂 , 尼古拉·克劳斯 , 安德烈亚·维佐西 :
高级截断之外的函数。 CoRR公司 abs/1507.01150 ( 2015 ) 2014 【c2】 安德烈亚斯·阿贝尔 , 安德烈亚·维佐西 :
保护递归类型强正规化的形式化证明。 阿普拉斯 2014 : 140-158 【c1】 安德烈亚·维佐西 , 安德烈亚斯·阿贝尔 :
模式统一的分类观点(扩展抽象)。 联合国国际金融中心 2014 : 69-73