维南西奥·卡普雷塔
人员信息
附属: 英国诺丁汉大学 附属: 加拿大安大略省渥太华大学
优化列表
2020年–今天
2010 – 2019
2018 [第19条] 科尔姆·巴斯顿 , 维南西奥·卡普雷塔 :
共同知识的创造性表述。 ITP公司 2018 : 126-141 2017 [第18条] 维南西奥·卡普雷塔 , 乔纳森·福勒 :
一元流函数的连续性。 低收入国家 2017 : 1-12 2016 [第17条] 维南西奥·卡普雷塔 , 塔尔莫·乌斯塔卢 :
棒材递归和棒材归纳的联合视图。 FoSSaCS公司 2016 : 91-106 [第16条] 维南西奥·卡普雷塔 , 格雷厄姆·赫顿 , 毛罗·贾斯克利奥夫 :
无限数据结构上的压缩函数。 国际单项体育联合会 2016 : 5:1-5:13 2013 [j7] Henk Barendregt(亨克·巴伦德里格特) , 维南西奥·卡普雷塔 , 德克斯特·科赞 :
乔姆斯基层次结构中的反射。 J.汽车。 语言梳。 18 ( 1 ) : 53-60 ( 2013 ) 2011 [j6] 维南西奥·卡普雷塔 :
函数编程和类型理论中的余代数。 西奥。 计算。 科学。 412 ( 38 ) : 5006-5024 ( 2011 ) [e2] 维南西奥·卡普雷塔 , 康纳·麦克布赖德 :
数学结构函数编程第二次研讨会论文集, ICALP的MSFP 2008年7月6日,冰岛雷克雅未克。 理论计算机科学电子笔记 229(5), 爱思维尔 2011 [目录] 2010 [第15条] 维南西奥·卡普雷塔 :
由相关方程生成的互模拟。 MFPS公司 2010 : 245-258 [电子1] 维南西奥·卡普雷塔 , 詹姆斯·查普曼 :
第三届ACM SIGPLAN数学结构函数编程研讨会会议记录, MSFP@ICFP 2010年9月25日,美国马里兰州巴尔的摩,2010年。 ACM公司 2010 ,国际标准图书编号 978-1-4503-0255-5 [目录]
2000 – 2009
2009 [第14条] 维南西奥·卡普雷塔 , 塔尔莫·乌斯塔卢 , 瓦尔莫·维尼 :
余序代数:一般结构余序的研究。 SBMF公司 2009 : 84-100 2008 [第13条] 安娜·波夫 , 维南西奥·卡普雷塔 :
一类部分递归函数。 TPHOL公司 2008 : 102-117 [c12] 维南西奥·卡普雷塔 , 康诺·麦克布莱德 :
前言。 ICALP的MSFP 2008 : 1-2 2007 [第11条] 维南西奥·卡普雷塔 , 伯纳德·斯蒂芬 , 艾米·费尔蒂 , 斯坦·马特温 :
防火墙冲突检测的形式正确性。 FMSE公司 2007 : 22-30 [第10条] 安娜·波夫 , 维南西奥·卡普雷塔 :
预言计算。 薄层色谱分析 2007 : 70-83 2006 [j5] 维南西奥·卡普雷塔 , 塔尔莫·乌斯塔卢 , 瓦尔莫·维尼 :
来自辅音的递归余代数。 Inf.计算。 204 ( 4 ) : 437-468 ( 2006 ) 【c9】 维南西奥·卡普雷塔 , 艾米·费尔蒂 :
Coq中de Bruijn索引和高阶抽象语法的组合。 类型 2006 : 63-77 2005 【j4】 维南西奥·卡普雷塔 :
通过共导类型的一般递归。 日志。 方法计算。 科学。 1 ( 2 ) ( 2005 ) [j3] 安娜·波夫 , 维南西奥·卡普雷塔 :
在类型理论中对一般递归进行建模。 数学。 结构。 计算。 科学。 15 ( 4 ) : 671-708 ( 2005 ) 【c8】 安娜·波夫 , 维南西奥·卡普雷塔 :
具有高阶域的递归函数。 薄层色谱分析 2005 : 116-130 【c7】 斯坦·马特温 , 艾米·费尔蒂 , 伊斯特万·埃尔纳德沃伊 , 维南西奥·卡普雷塔 :
使用形式化方法的数据挖掘中的隐私。 薄层色谱分析 2005 : 278-292 [i1] 维南西奥·卡普雷塔 :
通过共导类型的一般递归。 CoRR公司 abs/cs/0505037 ( 2005 ) 2004 【c6】 维南西奥·卡普雷塔 , 塔尔莫·乌斯塔卢 , 瓦尔莫·维尼 :
Comonads中的递归Coalgebras。 羧甲基纤维素 2004 : 43-61 2003 [注2] 吉尔斯·巴特 , 维南西奥·卡普雷塔 , 奥利维尔·蓬斯 :
类型理论中的类Setoids。 J.功能。 程序。 13 ( 2 ) : 261-293 ( 2003 ) 2002 【b1】 维南西奥·卡普雷塔 :
抽象和计算型理论、代数结构和递归函数。 奈梅亨大学 2002 ,国际标准图书编号 978-90-9015738-2 ,第1-259页 【c5】 伊夫·贝托特 , 维南西奥·卡普雷塔 , Kuntal Das酒吧 :
类型论功能语义学。 TPHOL公司 2002 : 83-98 2001 【c4】 安娜·波夫 , 维南西奥·卡普雷塔 :
类型理论中的嵌套一般递归和偏爱。 TPHOL公司 2001 : 121-135 【c3】 维南西奥·卡普雷塔 :
用Coq证明快速傅里叶变换。 TPHOL公司 2001 : 154-168 2000 【c2】 维南西奥·卡普雷塔 :
归纳类型的递归族。 TPHOL公司 2000 : 73-89
1990 – 1999
1999 [j1] 维南西奥·卡普雷塔 , 西尔维奥·瓦伦蒂尼 :
一种证明一阶和二阶类型lambda演算正规化定理的一般方法。 数学。 结构。 计算。 科学。 9 ( 6 ) : 719-739 ( 1999 ) 【c1】 维南西奥·卡普雷塔 :
类型理论中的泛代数。 TPHOL公司 1999 : 131-148