保罗·特兰基利
人员信息
优化列表
2010 – 2019
2017 [j3] 米歇尔·帕加尼 , 保罗·特兰基利 :
微分网的守恒定理。 数学。 结构。 计算。 科学。 27 ( 6 ) : 939-992 ( 2017 ) 2013 【c7】 罗伯托·阿马迪奥 , 尼古拉斯·阿亚奇 , 弗朗索瓦·博博特 , 贾普·博恩德 , 布赖恩坎贝尔 , 伊利亚斯·加尼尔 , 安托万·马德特 , 詹姆斯·麦金纳 , 多米尼克·P·穆利根 , 毛罗·皮科洛 , 兰迪·波拉克 , 亚恩·雷吉斯·贾纳斯 , 克劳迪奥·萨塞尔多蒂·科恩 , 伊恩·斯塔克 , 保罗·特兰基利 :
认证复杂性(CerCo)。 FOPARA公司 2013 : 1-18 【c6】 保罗·特兰基利 :
循环迭代相关成本的索引标签。 QAPL公司 2013 : 19-33 2012 [注2] 朱利奥·曼佐内托 , 保罗·特兰奎利 :
ML的强规范化 F类 通过胁迫演算。 西奥。 计算。 科学。 417 : 74-94 ( 2012 ) 【c5】 毛里齐奥·多米尼奇 , 西蒙娜·朗奇·德拉·罗卡 , 保罗·特兰基利 :
资源lambda-calculus标准化。 线性 2012 : 1-11 2011 [j1] 保罗·特兰基利 :
直觉微分网和lambda-calculus。 西奥。 计算。 科学。 412 ( 20 ) : 1979-1997 ( 2011 ) 2010 【c4】 朱利奥·曼佐内托 , 保罗·特兰基利 :
利用ML F类 系统F的功率。 MFCS公司 2010 : 525-536
2000 – 2009
2009 【c3】 米歇尔·帕加尼 , 保罗·特兰基利 :
并行减少资源Lambda-Calculus。 阿普拉斯 2009 : 226-242 【c2】 保罗·特兰奎利 :
纯微分网与推广的融合。 CSL公司 2009 : 500-514 2008 【c1】 保罗·特兰奎利 :
乘法加线性逻辑中超相干语义正确性的表征。 CSL公司 2008 : 246-261