毛罗·皮科洛
人员信息
优化列表
2020年–今天
2020 [j7] 卢卡-保利尼 , 毛罗·皮科洛 , 卢卡·罗维斯 :
一类递归置换,它是原递归完备的。 西奥。 计算。 科学。 813 : 218-233 ( 2020 )
2010 – 2019
2019 [j6] 卢卡-保利尼 , 毛罗·皮科洛 , 玛格丽塔·佐齐 :
高阶语言与量子电路。 J.汽车。 原因。 63 ( 4 ) : 941-966 ( 2019 ) 2018 [j5] 卢卡-保利尼 , 毛罗·皮科洛 , 卢卡·罗维斯 :
关于一类可逆本原递归函数及其图灵完备扩张。 新一代。 计算。 36 ( 三 ) : 233-256 ( 2018 ) [i1] 卢卡-保利尼 , 毛罗·皮科洛 , 玛格丽塔·佐齐 :
高阶语言和量子电路。 CoRR公司 腹肌/1809.05723 ( 2018 ) 2017 【j4】 卢卡-保利尼 , 毛罗·皮科洛 , 西蒙娜·隆奇·德尔拉·罗卡 :
基本模型和关系模型。 数学。 结构。 计算。 科学。 27 ( 5 ) : 626-650 ( 2017 ) 2016 [j3] 马可·加博阿迪 , 卢卡-保利尼 , 毛罗·皮科洛 :
论语义线性的物化。 数学。 结构。 计算。 科学。 26 ( 5 ) : 829-867 ( 2016 ) 2015 [第11条] 卢卡-保利尼 , 毛罗·皮科洛 , 卢卡·罗维斯 :
可逆编程语言的认证研究。 类型 2015 : 7:1-7:21 [第10条] 卢卡-保利尼 , 毛罗·皮科洛 , 卢卡·罗维斯 :
一类可逆基元递归函数。 信息通信与通信系统 2015 : 227-242 2014 [注2] 马可·加博阿迪 , 毛罗·皮科洛 :
语义线性λ演算的模型是什么? J.日志。 计算。 24 ( 三 ) : 557-589 ( 2014 ) 2013 【c9】 罗伯特·阿马迪奥 , 尼古拉斯·阿亚切 , 弗朗索瓦·博伯特 , 贾普·博恩德 , 布赖恩坎贝尔 , 伊利亚斯·加尼尔 , 安托万·马德特 , 詹姆斯·麦金纳 , 多米尼克·P·穆利根 , 毛罗·皮科洛 , 兰迪·波拉克 , 亚恩·雷吉斯·贾纳斯 , 克劳迪奥·萨塞尔多蒂·科恩 , 伊恩·斯塔克 , 保罗·特兰基利 :
认证复杂性(CerCo)。 FOPARA公司 2013 : 1-18 2012 [j1] 毛罗·皮科洛 :
具有交并类型的π演算中的强正规化。 芬丹。 信息学 121 ( 1-4 ) : 227-252 ( 2012 ) 2011 【c8】 马尔科·加博阿迪 , 卢卡-保利尼 , 毛罗·皮科洛 :
线性和PCF:语义洞察力! ICFP公司 2011 : 372-384
2000 – 2009
2009 【c7】 克劳迪娅·法根 , 毛罗·皮科洛 :
偏序、事件结构和线性策略。 薄层色谱分析 2009 : 95-111 【c6】 马可·加博阿迪 , 毛罗·皮科洛 :
语义线性Lambda-calculus的分类模型。 线性 2009 : 1-13 [c5] 卢卡-保利尼 , 毛罗·皮科洛 , 西蒙娜·隆奇·德尔拉·罗卡 :
稳定的逻辑语义。 MFPS公司 2009 : 429-449 2008 【c4】 卢卡-保利尼 , 毛罗·皮科洛 :
语义线性编程语言。 PPDP(PPDP) 2008 : 97-107 【c3】 卢卡-保利尼 , 毛罗·皮科洛 :
线性程序的过程模型。 类型 2008 : 289-305 2007 【c2】 克劳迪娅·法根 , 毛罗·皮科洛 :
Ludics是金融线性Pi-Calculus的模型。 薄层色谱分析 2007 : 148-162 2006 【c1】 克劳迪娅·法根 , 毛罗·皮科洛 :
描述事件结构组成的图抽象机。 GT-VC@同意 2006 : 21-36