西蒙娜·隆奇·德尔拉·罗卡
人员信息
附属: 意大利都灵大学
优化列表
2020年–今天
2023 [公元42年] 丹尼尔·鲍塔索 , 西蒙娜·隆奇·德尔拉·罗卡 :
简单类型的定量版本。 金融稳定与发展部 2023 : 29:1-29:21 2021 [j35] 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 西蒙娜·隆奇·德尔拉·罗卡 :
可解决性=典型性+居住性。 日志。 方法计算。 科学。 17 ( 1 ) ( 2021 ) [公元34年] 乌戈·达尔·拉戈 , 克劳迪娅·法根 , 西蒙娜·隆奇·德尔拉·罗卡 :
交叉口类型和(正向)近似安全终止。 程序。 ACM计划。 语言。 5 ( POPL公司 ) : 1至32 ( 2021 ) [公元41年] Axel Kerinec公司 , 朱利奥·曼佐内托 , 西蒙娜·隆奇·德尔拉·罗卡 :
又是按价值计算! 金融稳定与发展部 2021 : 7:1-7:18 2020 [公元40年] 西蒙娜·隆奇·德尔拉·罗卡 , 乌戈·达尔·拉戈 , 克劳迪娅·法根 :
概率环境中的可解决性(邀请谈话)。 金融稳定与发展部 2020 : 1:1-1:17 [i8] 乌戈·达尔·拉戈 , 克劳迪娅·法根 , 西蒙娜·隆奇·德尔拉·罗卡 :
交叉口类型和(正)极端安全终端。 CoRR公司 abs/2010.12689 ( 2020 )
2010 – 2019
2019 [公元33年] 朱利奥·曼佐内托 , 米歇尔·帕加尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
Call-by Valueλ-Calculus的新语义见解。 芬丹。 信息学 170 ( 1-3 ) : 241-265 ( 2019 ) [公元39年] 克劳迪娅·法吉安 , 西蒙娜·隆奇·德尔拉·罗卡 :
兰姆达微积分和概率计算。 低收入国家 2019 : 1-13 [i7] 克劳迪娅·法根 , 西蒙娜·隆奇·德尔拉·罗卡 :
兰姆达微积分和概率计算。 CoRR公司 abs/1901.02853 ( 2019 ) 2018 [公元32年] 帕特里克·贝洛特 , 埃里卡·德贝内德蒂 , 西蒙娜·隆奇·德尔拉·罗卡 :
描述初等λ演算中多项式和指数复杂性类的特征。 Inf.计算。 261 : 55-77 ( 2018 ) [公元31年] 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 西蒙娜·隆奇·德尔拉·罗卡 :
非独立交叉口类型的居住。 日志。 方法计算。 科学。 14 ( 三 ) ( 2018 ) [i6] 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 西蒙娜·隆奇·德尔拉·罗卡 :
可观测性=可分型性+居住性。 CoRR公司 腹肌/1812.06009 ( 2018 ) 2017 【j30】 朱利奥·格雷里 , 卢卡-保利尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
精化的Call-by-Value lambda-Calculus的标准化和保守性。 日志。 方法计算。 科学。 13 ( 4 ) ( 2017 ) [公元29年] 卢卡-保利尼 , 毛罗·皮科洛 , 西蒙娜·隆奇·德尔拉·罗卡 :
基本模型和关系模型。 数学。 结构。 计算。 科学。 27 ( 5 ) : 626-650 ( 2017 ) [i5] 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 西蒙娜·隆奇·德尔拉·罗卡 :
非独立交叉口类型的居住。 CoRR公司 abs/1712.03829 ( 2017 ) 2016 [公元28年] 西蒙娜·隆奇·德尔拉·罗卡 :
前言。 Inf.计算。 248 : 1 ( 2016 ) [公元27年] 艾瑞卡·德·贝内代蒂 , 西蒙娜·隆奇·德尔拉·罗卡 :
λ-演算的类型赋值对于FPTIME和强规范化都是完全的。 Inf.计算。 248 : 195-214 ( 2016 ) [公元38年] 西蒙娜·隆奇·德尔拉·罗卡 :
交叉类型和指称语义:扩展摘要(特邀论文)。 类型 2016 : 2:1-2:7 [i4] 朱利奥·格雷里 , 卢卡-保利尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
精化的Call-by-Value lambda-Calculus的标准化和保守性。 CoRR公司 abs/1611.07255 ( 2016 ) 2015 [公元26年] 奥哈·什卡拉夫斯卡 , 西蒙娜·隆奇·德尔拉·罗卡 , 马可·C·J·D·范·埃克伦 :
2009年和2011年《资源分析的基础和实际方面》专刊前言。 科学。 计算。 程序。 111 : 363-364 ( 2015 ) [公元37年] 阿努杰·达瓦尔 , 德克斯特·科岑 , 西蒙娜·隆奇·德尔拉·罗卡 :
2015年阿克曼奖。 CSL公司 2015 : xv-xviii型 [公元36年] 艾瑞卡·德·贝内代蒂 , 西蒙娜·隆奇·德尔拉·罗卡 :
调用值、基本时间和交集类型。 FOPARA公司 2015 : 40-59 [公元35年] 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 西蒙娜·隆奇·德尔拉·罗卡 :
配对模式演算的可观测性。 薄层色谱分析 2015 : 123-137 [公元34年] 朱利奥·格雷里 , 卢卡-保利尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
Call-By-Value Lambda-Calculus的标准化。 薄层色谱分析 2015 : 211-225 2014 [公元33年] 帕特里克·贝洛特 , 埃里卡·德贝内德蒂 , 西蒙娜·隆奇·德尔拉·罗卡 :
初等Lambda-Calculus中多项式和指数复杂性类的特征。 IFIP TCS 2014 : 151-163 [c32] 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 西蒙娜·隆奇·德尔拉·罗卡 :
非独立交叉口类型的居住问题。 IFIP TCS公司 2014 : 341-354 [i3] 埃里卡·德贝内德蒂 , 西蒙娜·隆奇·德尔拉·罗卡 :
lambda-calculus的类型赋值完成了FPTIME和强规范化。 CoRR公司 abs/1410.6298 ( 2014 ) 2013 [e5] 西蒙娜·隆奇·德尔拉·罗卡 :
计算机科学逻辑2013(CSL 2013),CSL 2013,2013年9月2-5日,意大利都灵。 LIPIcs公司 23, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2013 ,国际标准图书编号 978-3-939897-60-6 [目录] 2012 [公元25年] 伊莱恩·皮门特尔 , 西蒙娜·隆奇·德尔拉·罗卡 , 卢卡·罗维斯 :
从理论证明的角度来看交叉点类型。 芬丹。 信息学 121 ( 1-4 ) : 253-274 ( 2012 ) [公元24年] 马尔科·加博阿迪 , 珍妮·伊夫·马里恩 , 西蒙娜·隆奇·德尔拉·罗卡 :
PSPACE的一个隐含特征。 ACM事务处理。 计算。 日志。 13 ( 2 ) : 18:1-18:36 ( 2012 ) [公元31年] 毛里齐奥·多米尼克 , 西蒙娜·隆奇·德尔拉·罗卡 , 保罗·特兰基利 :
资源lambda-calculus标准化。 线性 2012 : 1-11 [公元30年] 埃里卡·德贝内德蒂 , 西蒙娜·隆奇·德尔拉·罗卡 :
通过交集类型限定规范化时间。 ITRS公司 2012 : 48-57 2011 [公元23年] 卢卡-保利尼 , 伊莱恩·皮门特尔 , 西蒙娜·隆奇·德尔拉·罗卡 :
从不同寻常的角度来看,标准化程度很高。 西奥。 计算。 科学。 412 ( 20 ) : 1903-1915 ( 2011 ) [电子4] 西蒙娜·隆奇·德尔拉·罗卡 , 伊莱恩·皮门特尔 :
2011年8月27日,巴西贝洛奥里藏特,LSFA 2011,逻辑和语义框架与应用程序第六次研讨会论文集。 EPTCS系统 81, 2011 [目录] 2010 [公元22年] 米歇尔·帕加尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
线性、不确定性和可解性。 芬丹。 信息学 103 ( 1-4 ) : 173-202 ( 2010 ) [公元29年] 米歇尔·帕加尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
资源Lambda-Calculus中的可解性。 FoSSaCS公司 2010 : 358-373 [公元28年] 西蒙娜·隆奇·德尔拉·罗卡 , 亚历克西斯·索林 , 伊奥戈斯·斯塔夫里诺斯 , 阿纳斯塔西亚·维内蒂 :
序列演算风格的交集逻辑。 ITRS公司 2010 : 16-30 [i2] 马可·加博阿迪 , 珍妮·伊夫·马里恩 , 西蒙娜·隆奇·德尔拉·罗卡 :
PSPACE的隐式特征。 CoRR公司 abs/1006.0030 ( 2010 )
2000 – 2009
2009 [公元21年] 马可·加博阿迪 , 西蒙娜·隆奇·德尔拉·罗卡 :
从轻逻辑到类型分配:案例研究。 日志。 J.IGPL公司 17 ( 5 ) : 499-530 ( 2009 ) [公元20年] 帕特里克·拜洛特 , 让-伊夫·马里昂 , 西蒙娜·隆奇·德尔拉·罗卡 :
客座评论:关于隐式计算复杂性的特刊。 ACM事务处理。 计算。 日志。 10 ( 4 ) : 23:1-23:2 ( 2009 ) [公元27年] Mariangiola Dezani-Ciancaglini公司 , 保拉·贾尼尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
交集、通用量化和引用类型。 CSL公司 2009 : 209-224 [公元26年] 卢卡-保利尼 , 毛罗·皮科洛 , 西蒙娜·隆奇·德尔拉·罗卡 :
稳定的逻辑语义。 MFPS公司 2009 : 429-449 2008 [公元19年] 保罗·科波拉 , 乌戈达尔湖 , 西蒙娜·隆奇·德尔拉·罗卡 :
轻逻辑和按调用值Lambda演算。 日志。 方法计算。 科学。 4 ( 4 ) ( 2008 ) [公元25年] 马可·加博阿迪 , 珍妮·伊夫·马里恩 , 西蒙娜·隆奇·德尔拉·罗卡 :
对pspace的逻辑描述。 POPL公司 2008 : 121-131 [公元24年] 马可·加博阿迪 , 西蒙娜·隆奇·德尔拉·罗卡 :
多项式Lambda演算的类型推断。 类型 2008 : 136-152 [i1] 保罗·科波拉 , 乌戈·达尔·拉戈 , 西蒙娜·隆奇·德尔拉·罗卡 :
轻逻辑和按调用值Lambda演算。 CoRR公司 abs/0809.0195 ( 2008 ) 2007 [公元18年] 路易吉·利科里 , 西蒙娜·隆奇·德尔拉·罗卡 :
交叉口类型为教堂。 Inf.计算。 205 ( 9 ) : 1371-1386 ( 2007 ) 【c23】 马可·加博阿迪 , 西蒙娜·隆奇·德尔拉·罗卡 :
一个软类型分配系统 λ -微积分。 CSL公司 2007 : 253-267 [公元22年] 马可·加博阿迪 , 让-伊夫·马里昂 , 西蒙娜·隆奇·德尔拉·罗卡 :
软线性逻辑和多项式复杂性类。 LSFA公司 2007 : 67-87 [电子3] 西蒙娜·隆奇·德尔拉·罗卡 :
2007年6月26-28日,法国巴黎,TLCA 2007,第八届国际会议,《打字Lambda演算与应用》,会议记录。 计算机科学课堂讲稿 4583, 施普林格 2007 ,国际标准图书编号 978-3-540-73227-3 [目录] 2006 【c21】 卢卡-保利尼 , 伊莱恩·皮门特尔 , 西蒙娜·隆奇·德尔拉·罗卡 :
强归一化的运算特征。 FoSSaCS公司 2006 : 367-381 2005 [公元17年] 保罗·科波拉 , 西蒙娜·隆奇·德尔拉·罗卡 :
基本仿射逻辑中Lambda演算的主要类型。 芬丹。 信息学 65 ( 1-2 ) : 87-112 ( 2005 ) [公元20年] 保罗·科波拉 , 乌戈·达尔·拉戈 , 西蒙娜·隆奇·德尔拉·罗卡 :
基本仿射逻辑和按调用值Lambda演算。 薄层色谱分析 2005 : 131-145 2004 【b1】 西蒙娜·隆奇·德尔拉·罗卡 , 卢卡-保利尼 :
参数Lambda演算-计算的元模型。 理论计算机科学文本。 EATCS系列 , 施普林格 2004 ,国际标准图书编号 978-3-642-05746-5 ,第1-254页 [公元16年] 卢卡-保利尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
传递Lambda-calculus的参数。 Inf.计算。 189 ( 1 ) : 87-106 ( 2004 ) [第19条] 路易吉·利科里 , 西蒙娜·隆奇·德尔拉·罗卡 :
走向交叉口类型系统 a la(拉丁语) 教堂。 ITRS公司 2004 : 43-56 [第18条] 卢卡-保利尼 , 伊莱恩·皮门特尔 , 西蒙娜·隆奇·德尔拉·罗卡 :
懒惰的强规范化。 ITRS公司 2004 : 103-116 2003 [第17条] 保罗·科波拉 , 西蒙娜·隆奇·德尔拉·罗卡 :
基本仿射逻辑中的主类型。 薄层色谱分析 2003 : 90-104 [第16条] 卢卡-保利尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
懒惰的逻辑语义。 科梅塔 2003 : 235-251 2002 [第15条] 西蒙娜·隆奇·德尔拉·罗卡 :
交叉口类型lambda-calculus。 ITRS公司 2002 : 163-181 2001 [第14条] 西蒙娜·隆奇·德尔拉·罗卡 , 卢卡·罗维斯 :
交叉逻辑。 CSL公司 2001 : 414-428 [电子2] 安东尼奥·雷斯蒂沃 , 西蒙娜·隆奇·德尔拉·罗卡 , 卢卡·罗弗西 :
理论计算机科学,第七届意大利会议,ICTCS 2001,意大利都灵,2001年10月4-6日,会议记录。 计算机科学课堂讲稿 2202, 施普林格 2001 ,国际标准图书编号 3-540-42672-8 [目录] 2000 [c13] 西蒙娜·隆奇·德尔拉·罗卡 :
操作语义和扩展性。 PPDP(PPDP) 2000 : 24-31
1990 – 1999
1999 [公元15年] A.J.Kfoury公司 , 西蒙娜·隆奇·德尔拉·罗卡 , Jerzy Tiuryn公司 , 巴维尔·乌尔兹琴 :
字母转换和可输入性。 Inf.计算。 150 ( 1 ) : 1-21 ( 1999 ) [公元14年] 卢卡-保利尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
Call-by-value可解性。 RAIRO提奥。 信息学应用。 33 ( 6 ) : 507-534 ( 1999 ) [j13] 阿尔贝托·普拉瓦托 , 西蒙娜·隆奇·德尔拉·罗卡 , 卢卡·罗维斯 :
call-by-value[lambda]-演算:语义研究。 数学。 结构。 计算。 科学。 9 ( 5 ) : 617-650 ( 1999 ) 1998 [公元12年] 福里奥·霍塞尔 , 阿尔贝托·普拉瓦托 , 西蒙娜·隆奇·德尔拉·罗卡 :
语言方案片段的结构化操作语义。 J.功能。 程序。 8 ( 4 ) : 335-365 ( 1998 ) [第12条] 奥利维尔·巴斯托诺 , 阿尔贝托·普拉瓦托 , 西蒙娜·隆奇·德尔拉·罗卡 :
懒惰语义的结构。 PROCOMET项目 1998 : 30-48 1997 [公元11年] 斯特芬·范·贝克尔 , 路易吉·利科里 , 西蒙娜·隆奇·德尔拉·罗卡 , 巴维尔·乌尔兹琴 :
比较类型化和类型分配系统的立方体。 Ann.纯粹应用。 日志。 86 ( 三 ) : 267-303 ( 1997 ) [公元10年] 西蒙娜·隆奇·德尔拉·罗卡 , 卢卡·罗维斯 :
Lambda微积分和直觉线性逻辑。 Stud Logica公司 59 ( 三 ) : 417-448 ( 1997 ) 1995 [第11条] 阿尔贝托·普拉瓦托 , 西蒙娜·隆奇·德尔拉·罗卡 , 卢卡·罗维斯 :
按调用值lambda-calculus的分类语义。 薄层色谱分析 1995 : 381-396 1994 [公元9年] 保拉·贾尼尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
分层多态类型规程的类型推理算法。 Inf.计算。 109 ( 1/2 ) : 115-173 ( 1994 ) [第10条] 斯特芬·范·贝克尔 , 路易吉·利科里 , 西蒙娜·隆奇·德尔拉·罗卡 , 巴维尔·乌尔兹琴 :
比较立方体。 LFCS公司 1994 : 353-365 【c9】 阿道夫·皮佩诺 , 西蒙娜·隆奇·德尔拉·罗卡 :
类型推理和可拓性。 低收入国家 1994 : 196-205 1993 [j8] 保拉·贾尼尼 , 福里奥·霍塞尔 , 西蒙娜·隆奇·德尔拉·罗卡 :
类型推断:一些结果,一些问题。 芬丹。 信息学 19 ( 1/2 ) : 87-125 ( 1993 ) 1992 [j7] 拉维尼亚·埃吉迪 , 福里奥·霍塞尔 , 西蒙娜·隆奇·德尔拉·罗卡 :
操作、指称和逻辑描述:案例研究。 芬丹。 信息学 16 ( 1 ) : 149-169 ( 1992 ) [j6] 福里奥·霍塞尔 , 西蒙娜·隆奇·德尔拉·罗卡 :
拓扑Lambda模型的逼近定理和Lambda演算的拓扑不完全性。 J.计算。 系统。 科学。 45 ( 1 ) : 49-75 ( 1992 ) 1991 【c8】 拉维尼亚·埃吉迪 , 福里奥·霍塞尔 , 西蒙娜·隆奇·德尔拉·罗卡 :
懒惰的调用值Lamda-Calculus。 MFCS公司 1991 : 161-169 【c7】 保拉·詹尼尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
多态类型学科中的类型推断。 节气门执行器控制系统 1991 : 18-37 1990 【c6】 福里奥·霍塞尔 , 西蒙娜·隆奇·德尔拉·罗卡 :
定性λ-模型中解释的推理。 编程概念和方法 1990 : 505-522
1980 – 1989
1989 [电子1] 乔治奥·奥斯耶罗 , Mariangiola Dezani-Ciancaglini公司 , 西蒙娜·隆奇·德尔拉·罗卡 :
《自动化,语言与编程》,第16届国际学术讨论会,ICALP89,意大利斯特雷萨,1989年7月11日至15日,会议记录。 计算机科学课堂讲稿 372, 施普林格 1989 ,国际标准图书编号 3-540-51371-X型 [目录] 1988 [j5] 西蒙娜·隆奇·德尔拉·罗卡 :
交叉口类型学科的主要类型方案和统一。 西奥。 计算。 科学。 59 : 181-209 ( 1988 ) 【c5】 保拉·贾尼尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
多态性类型学科中类型的特征。 低收入国家 1988 : 61-70 1987 【c4】 西蒙娜·隆奇·德尔拉·罗卡 :
交叉口类型方案的统一半算法。 TAPSOFT,第1卷 1987 : 37-51 1984 【j4】 西蒙娜·隆奇·德尔拉·罗卡 , 贝蒂·文内里 :
扩展类型理论的主类型方案。 西奥。 计算。 科学。 28 : 151-169 ( 1984 ) 1982 [j3] 西蒙娜·隆奇·德尔拉·罗卡 :
滤波器Lambda模型的特征定理。 信息控制。 54 ( 三 ) : 201-216 ( 1982 ) 1981 【c3】 西蒙娜·隆奇·德尔拉·罗卡 :
D中无穷项集的可判别性 无穷 -λ-微积分模型。 CAAP公司 1981 : 350-364
1970 – 1979
1979 [注2] Mariangiola Dezani-Ciancaglini公司 , 西蒙娜·隆奇·德尔拉·罗卡 , 洛伦扎·塞塔 :
λ项约简的复杂性。 RAIRO提奥。 信息学应用。 13 ( 三 ) : 257-287 ( 1979 ) [j1] 科拉多·伯姆 , Mariangiola Dezani-Ciancaglini公司 , P.佩雷蒂 , 西蒙娜·隆奇·德尔拉·罗卡 :
lambda-beta-演算中的一种判别算法。 西奥。 计算。 科学。 8 : 265-292 ( 1979 ) 1978 【c2】 马里奥·科波奥 , Mariangiola Dezani-Ciancaglini公司 , 西蒙娜·隆奇·德尔拉·罗卡 :
lambda-Calculus的Scott D_infty模型中有限项集的(半)-可分性。 ICALP公司 1978 : 142-164 1974 【c1】 科拉多·伯姆 , Mariangiola Dezani-Ciancaglini公司 , 西蒙娜·隆奇·德尔拉·罗卡 :
定点运算符定义的信息结构列表。 规划专题讨论会 1974 : 266-279