编辑配置文件（在新选项卡中打开） 西蒙娜·隆奇·德尔拉·罗卡 合著者距离 作者ID： 龙胆草 发布日期： 西蒙娜·隆奇·德尔拉·罗卡；西蒙娜·隆奇·德拉·罗卡；Ronchi della Rocca，S。；Ronchi Della Rocca，S。；西莫内塔·朗奇·德尔拉·罗卡；德拉·罗卡（Della Rocca）、西蒙娜·隆奇（Simona Ronchi）；Simonetta Ronchi della Rocca公司 更多。。。较少的 主页： 网址：http://www.di.unito.it/~罗奇/ 外部链接： 管理程序·数据库许可证 已编制索引的文档： 65出版物自1974年以来，包括1本书 9作为编辑的贡献 传记参考： 1出版物 合著者： 36位合著者具有65份联合出版物 623合著作者 全部的 前5名合著者 8 单作者的 11 卢卡保利尼 9 马里亚纽拉州Dezani-Ciancaglini 6 马可·加博阿迪 6 Furio Honsell 6 卢卡·罗维斯 5 埃里卡·德·贝内代蒂 5 伊莱恩·皮门特尔 4 安东尼奥·布恰雷利 4 保罗·科波拉 4 保拉·吉安尼尼 4 迪莉娅·凯斯纳 4 路易吉·利科里 4 Jean-Yves玛丽恩 三 乔治·奥塞洛 三 帕特里克·贝洛特 三 米歇尔·帕加尼 三 阿尔贝托·普拉瓦托 三 巴威·乌尔兹琴 2 科拉多·伯姆 2 乌戈·达尔拉戈 2 拉维尼亚·埃吉迪 2 朱利奥·格雷里 2 毛罗·皮科洛 2 范·贝克尔，斯特芬 1 马里奥·科普 1 毛里齐奥·多米尼奇 1 阿萨夫·科福里。 1 朱利奥·曼佐内托 1 佩雷蒂，P。 1 安东尼奥·雷斯蒂沃 1 洛伦扎·塞塔 1 亚历克西斯·索林 1 伊奥戈斯·斯塔夫里诺斯 1 Jerzy Tiuryn 1 保罗·特兰基利 1 阿纳斯塔西亚·维内蒂 全部的 前5名系列 7 信息与计算 4 理论计算机科学 4 计算机基础理论 4 计算机科学中的逻辑方法 三 计算机科学课堂讲稿 2 波兰数学年鉴。系列IV 2 MSCS公司。计算机科学中的数学结构 2 ACM计算逻辑汇刊 1 Calcolo公司 1 信息和控制 1 计算机与系统科学杂志 1 意大利信息研究所 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 函数编程杂志 1 IGPL逻辑杂志 1 RAIRO公司。理论信息学及其应用 1 LIPIcs–莱布尼茨国际信息学会议录 1 理论计算机科学电子论文集（EPTCS） 1 理论计算机科学课文。EATCS系列 领域 60 数学逻辑和基础（03-XX） 56 计算机科学（68至XX） 9 总体主题；集合（00-XX） 三 范畴理论；同调代数（18-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 68出版物有被引用380中的次193文件 引用人▼ 年份▼ 拓扑lambda模型的逼近定理和lambda演算的拓扑不完全性。 Zbl 0763.03012号 Furio Honsell；Simonetta Ronchi della Rocca公司 28 1992 参数lambda演算。用于计算的元模型。 Zbl 1084.68020号 西蒙娜·隆奇·德尔拉·罗卡；卢卡保利尼 25 2004 扩展类型理论的主类型方案。 Zbl 0535.03007号 Ronchi della Rocca，S。；B.Venneri。 19 1984 操作、指称和逻辑描述：案例研究。 Zbl 0762.68042号 拉维尼亚·埃吉迪；Furio Honsell；西蒙娜·隆奇·德尔拉·罗卡 18 1992 交叉类型学科的主体类型方案和统一。 Zbl 0656.68022号 西蒙娜·隆奇·德尔拉·罗卡 16 1988 非幂等交类型的驻留问题。 Zbl 1417.68027号 安东尼奥·布恰雷利；迪莉娅·凯斯纳；西蒙娜·隆奇·德尔拉·罗卡 15 2014 资源lambda-calculus中的可解性。 Zbl 1246.68086号 米歇尔·帕加尼；西蒙娜·隆奇·德尔拉·罗卡 15 2010 （lambda-\beta\）-演算中的判别算法。 Zbl 0405.03005号 Böhm，C。；Dezani-Ciancaglini，M。；佩雷蒂，P。；Ronchi della Rocca，S。 14 1979 Scott（D_infty）-（lambda）-演算模型中有限项集的（半）-可分离性。 Zbl 0394.03021号 M.科波。；Dezani-Ciancaglini，M。；Ronchi della Rocca，S。 12 1978 （lambda）-演算的软类型赋值系统。 Zbl 1179.03062号 马可·加博阿迪；西蒙娜·隆奇·德尔拉·罗卡 12 2007 Call-by-value可解性。 Zbl 0958.68061号 卢卡保利尼；西蒙娜·隆奇·德尔拉·罗卡 9 1999 交叉口类型为教堂。 兹比尔1125.68031 路易吉·利科里；西蒙娜·隆奇·德尔拉·罗卡 8 2007 滤波器λ模型的特征定理。 Zbl 0513.03008号 西莫内塔·朗奇·德尔拉·罗卡 8 1982 兰姆达微积分和直觉线性逻辑。 Zbl 0894.03013号 西蒙娜·隆奇·德拉·罗卡；卢卡·罗维斯 8 1997 交叉逻辑。 Zbl 0999.03011号 西蒙娜·隆奇·德尔拉·罗卡；卢卡·罗维斯 7 2001 传递\（\lambda\）-演算的参数参数。 Zbl 1082.68015号 卢卡保利尼；德拉·罗卡（Della Rocca）、西蒙娜·隆奇（Simona Ronchi） 7 2004 PSPACE的逻辑说明。 Zbl 1295.68116号 马可·加博阿迪；Jean-Yves玛丽恩；Della Rocca、Simona Ronchi 7 2008 基本模型和关系模型。 Zbl 1364.68131号 卢卡保利尼；毛罗·皮科洛；西蒙娜·隆奇·德尔拉·罗卡 7 2017 通过交集类型限定规范化时间。 Zbl 1464.03011号 埃里卡·德·贝内代蒂；西蒙娜·隆奇·德尔拉·罗卡 7 2013 类型推断。一些结果，一些问题。 Zbl 0797.68026号 保拉·吉安尼尼；Furio Honsell；西蒙娜·隆奇·德尔拉·罗卡 6 1993 按值调用\（\lambda\）-演算：语义调查。 Zbl 0936.03017号 阿尔贝托·普拉瓦托；西蒙娜·隆奇·德拉·罗卡；卢卡·罗维斯 6 1999 线性、非确定性和可解性。 Zbl 1244.03056号 米歇尔·帕加尼；西蒙娜·隆奇·德尔拉·罗卡 6 2010 强规范化的操作特征。 Zbl 1180.68105号 卢卡保利尼；伊莱恩·皮门特尔；西蒙娜·隆奇·德拉·罗卡 5 2006 对于\（\lambda \）-演算，拓扑模型是不完整的。 Zbl 0665.03010号 F.Honsell。；Ronchi Della Rocca，S。 5 1987 比较类型化和类型赋值系统的多维数据集。 Zbl 0952.03010号 范·贝克尔，斯特芬；路易吉·利科里；西蒙娜·隆奇·德拉·罗卡；巴维尔·乌尔兹琴 5 1997 对于FPTIME和强规范化，\（\lambda\）-演算的类型赋值都是完整的。 Zbl 1339.68039号 埃里卡·德·贝内代蒂；西蒙娜·隆奇·德尔拉·罗卡 5 2016 轻逻辑和按调用值lambda演算。 Zbl 1161.68011号 保罗·科波拉；乌戈·达尔拉戈；西蒙娜·隆奇·德尔拉·罗卡 5 2008 分层多态类型规程的类型推理算法。 Zbl 0822.68016号 保拉·吉安尼尼；西蒙娜·隆奇·德拉·罗卡 4 1994 基本仿射逻辑中的主类型。 Zbl 1040.03025号 保罗·科波拉；西蒙娜·隆奇·德拉·罗卡 4 2003 从证明理论的角度来看交集类型。 Zbl 1272.03082号 伊莱恩·皮门特尔；西蒙娜·隆奇·德尔拉·罗卡；卢卡·罗维斯 4 2012 交集类型\（\lambda\）-演算。 Zbl 1270.03032号 西蒙娜·隆奇·德尔拉·罗卡 4 2003 （λ）项约简的复杂性。 Zbl 0424.03009号 Dezani-Ciancaglini，M。；Ronchi Della Rocca，S。；塞塔，L。 4 1979 基本仿射逻辑和按调用值lambda演算。 Zbl 1114.03050号 保罗·科波拉；乌戈·达尔拉戈；西蒙娜·隆奇·德拉·罗卡 4 2005 PSPACE的隐含特征。 Zbl 1351.68107号 马可·加博阿迪；Jean-Yves玛丽恩；西蒙娜·隆奇·德尔拉·罗卡 4 2012 字母转换和类型。 兹比尔1004.03005 A.J.Kfoury。；Ronchi della Rocca，S。；Tiuryn，J。；Urzyczyn，P。 三 1999 初等仿射逻辑中lambda演算的主类型。 Zbl 1095.03069号 保罗·科波拉；西蒙娜·隆奇·德拉·罗卡 三 2005 减少用于表示信息结构系列的存储。 Zbl 0363.68047号 Dezani-Ciancaglini，M。；Ronchi Della Rocca，S。 三 1977 初等lambda演算中多项式和指数复杂度类的特征化。 Zbl 1417.68047号 帕特里克·贝洛特；埃里卡·德·贝内代蒂；西蒙娜·隆奇·德尔拉·罗卡 三 2014 惰性强规范化。 Zbl 1272.68087号 卢卡保利尼；伊莱恩·皮门特尔；西蒙娜·隆奇·德尔拉·罗卡 三 2005 正在比较多维数据集。 Zbl 0947.03022号 范·贝克尔，斯特芬；路易吉·利科里；西蒙娜·隆奇·德拉·罗卡；巴威·乌尔兹琴 三 1994 lambda-calculus的（D_\infty）模型中无限项集的可分辨性。 兹伯利0469.03008 Ronchi della Rocca，S。 三 1981 call-by-value lambda-calculus的标准化。 Zbl 1367.68052号 朱利奥·格雷里；卢卡保利尼；西蒙娜·隆奇·德尔拉·罗卡 三 2015 改进的call-by-value lambda-calculus的标准化和保守性。 兹伯利1434.68086 朱利奥·格雷里；卢卡保利尼；西蒙娜·隆奇·德尔拉·罗卡 三 2017 客座评论：关于隐式计算复杂性的特刊。 Zbl 1351.00038号 三 2009 多态类型学科中的类型推理。 Zbl 1493.68086号 保拉·吉安尼尼；西蒙娜·隆奇·德尔拉·罗卡 三 1991 一种用于交叉口类型方案的统一半算法。 Zbl 0644.03008号 西蒙娜·隆奇·德尔拉·罗卡 2 1987 call-by-value\（\lambda\）-演算的分类语义。 Zbl 1063.68558号 普拉瓦托，A。；Ronchi della Rocca，S。；罗维斯，L。 2 1995 定点运算符定义的信息结构列表。 Zbl 0308.68028号 Böhm，C。；Dezani-Ciancaglini，M。；Ronchi della Rocca，S。 2 1974 软线性逻辑和多项式复杂性类。 Zbl 1277.03027号 马可·加博阿迪；Jean-Yves玛丽恩；西蒙娜·隆奇·德尔拉·罗卡 2 2008 懒惰的逻辑语义。 Zbl 1271.68078号 卢卡保利尼；西蒙娜·隆奇·德尔拉·罗卡 2 2004 走向交叉型系统a la Church。 Zbl 1272.03081号 路易吉·利科里；西蒙娜·隆奇·德尔拉·罗卡 2 2005 交叉、通用量化和引用类型。 Zbl 1257.03039号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；西蒙娜·隆奇·德尔拉·罗卡 2 2009 自动化、语言和编程。第十六届国际学术讨论会，1989年7月11日至15日，意大利斯特雷萨。诉讼程序。 Zbl 0681.00016号 2 1989 对call-by-value\（\lambda\）-演算的新语义见解。 Zbl 1434.68092号 朱利奥·曼佐内托；米歇尔·帕加尼；西蒙娜·隆奇·德尔拉·罗卡 2 2019 非幂等交集类型的驻留。 Zbl 1448.68208号 安东尼奥·布恰雷利；迪莉娅·凯斯纳；西蒙娜·隆奇·德尔拉·罗卡 2 2018 配对模式计算的可观察性。 Zbl 1367.68048号 安东尼奥·布恰雷利；迪莉娅·凯斯纳；西蒙娜·隆奇·德尔拉·罗卡 2 2015 惰性call-by-value\（\lambda\）-演算。 Zbl 0777.68062号 拉维尼亚·埃吉迪；Furio Honsell；西蒙娜·隆奇·德拉·罗卡 1 1991 1989年7月11日至15日在意大利斯特莱斯举行的第16届自动控制、语言和编程国际研讨会论文集。 兹比尔0731.00023 1 1991 理论计算机科学。第七届意大利会议，ICTCS 2001，意大利都灵，2001年10月4-6日。诉讼程序。 Zbl 0971.00032号 1 2001 描述初等λ演算中多项式和指数复杂性类的特征。 Zbl 1395.68135号 帕特里克·贝洛特；埃里卡·德·贝内代蒂；西蒙娜·隆奇·德尔拉·罗卡 1 2018 2013年计算机科学逻辑。2013年9月2日至5日，意大利都灵，第27届CSL研讨会和欧洲计算机科学逻辑协会（EACSL）第22届年会论文集。 Zbl 1280.68038号 1 2013 从一个不同寻常的角度来看，具有很强的规范性。 Zbl 1222.03020号 卢卡保利尼；伊莱恩·皮门特尔；西蒙娜·隆奇·德尔拉·罗卡 1 2011 从轻逻辑到类型分配：案例研究。 Zbl 1182.03066号 马可·加博阿迪；西蒙娜·隆奇·德尔拉·罗卡 1 2009 可解决性=典型性+居住性。 兹比尔1509.03056 安东尼奥·布恰雷利；迪莉娅·凯斯纳；西蒙娜·隆奇·德尔拉·罗卡 1 2021 用于稳定性的逻辑语义。 Zbl 1338.03018号 卢卡保利尼；毛罗·皮科洛；西蒙娜·隆奇·德尔拉·罗卡 1 2009 语言方案片段的结构化操作语义。 Zbl 0933.68087号 Furio Honsell；阿尔贝托·普拉瓦托；西蒙娜·隆奇·德拉·罗卡 1 1998 键入lambda计算和应用程序。2007年6月26日至28日在法国巴黎举行的第八届TLCA国际会议。诉讼程序。 Zbl 1120.03002号 1 2007 多项式lambda演算的类型推断。 Zbl 1246.03029号 马可·加博阿迪；西蒙娜·隆奇·德尔拉·罗卡 1 2009 可解决性=典型性+居住性。 Zbl 1509.03056号 安东尼奥·布恰雷利；迪莉娅·凯斯纳；西蒙娜·隆奇·德尔拉·罗卡 1 2021 对call-by-value\（\lambda\）-演算的新语义见解。 Zbl 1434.68092号 朱利奥·曼佐内托；米歇尔·帕加尼；西蒙娜·隆奇·德尔拉·罗卡 2 2019 非幂等交集类型的驻留。 Zbl 1448.68208号 安东尼奥·布恰雷利；迪莉娅·凯斯纳；西蒙娜·隆奇·德尔拉·罗卡 2 2018 描述初等λ演算中多项式和指数复杂性类的特征。 Zbl 1395.68135号 帕特里克·贝洛特；埃里卡·德·贝内代蒂；西蒙娜·隆奇·德尔拉·罗卡 1 2018 基本模型和关系模型。 Zbl 1364.68131号 卢卡保利尼；毛罗·皮科洛；西蒙娜·隆奇·德尔拉·罗卡 7 2017 改进的call-by-value lambda-calculus的标准化和保守性。 Zbl 1434.68086号 朱利奥·格雷里；卢卡保利尼；西蒙娜·隆奇·德尔拉·罗卡 三 2017 对于FPTIME和强规范化，\（\lambda\）-演算的类型赋值都是完整的。 Zbl 1339.68039号 埃里卡·德·贝内代蒂；西蒙娜·隆奇·德尔拉·罗卡 5 2016 call-by-value lambda-calculus的标准化。 Zbl 1367.68052号 朱利奥·格雷里；卢卡保利尼；西蒙娜·隆奇·德尔拉·罗卡 三 2015 配对模式计算的可观察性。 兹比尔1367.68048 安东尼奥·布恰雷利；迪莉娅·凯斯纳；西蒙娜·隆奇·德尔拉·罗卡 2 2015 非幂等交类型的驻留问题。 Zbl 1417.68027号 安东尼奥·布恰雷利；迪莉娅·凯斯纳；西蒙娜·隆奇·德尔拉·罗卡 15 2014 描述初等λ演算中多项式和指数复杂性类的特征。 Zbl 1417.68047号 帕特里克·贝洛特；埃里卡·德·贝内代蒂；西蒙娜·隆奇·德尔拉·罗卡 三 2014 通过交叉点类型限制规范化时间。 Zbl 1464.03011号 埃里卡·德·贝内代蒂；西蒙娜·隆奇·德尔拉·罗卡 7 2013 2013年计算机科学逻辑。2013年9月2日至5日，意大利都灵，第27届CSL研讨会和欧洲计算机科学逻辑协会（EACSL）第22届年会论文集。 Zbl 1280.68038号 1 2013 从证明理论的角度来看交集类型。 Zbl 1272.03082号 伊莱恩·皮门特尔；西蒙娜·隆奇·德尔拉·罗卡；卢卡·罗维斯 4 2012 PSPACE的隐含特征。 兹比尔1351.68107 马可·加博阿迪；Jean-Yves玛丽恩；西蒙娜·隆奇·德尔拉·罗卡 4 2012 从不同寻常的角度来看，标准化程度很高。 Zbl 1222.03020号 卢卡保利尼；伊莱恩·皮门特尔；西蒙娜·隆奇·德尔拉·罗卡 1 2011 资源lambda-calculus中的可解性。 Zbl 1246.68086号 米歇尔·帕加尼；西蒙娜·隆奇·德尔拉·罗卡 15 2010 线性、非确定性和可解性。 Zbl 1244.03056号 米歇尔·帕加尼；西蒙娜·隆奇·德尔拉·罗卡 6 2010 客座评论：关于隐式计算复杂性的特刊。 Zbl 1351.00038号 三 2009 交叉、通用量化和引用类型。 Zbl 1257.03039号 马里亚纽拉州Dezani-Ciancaglini；保拉·吉安尼尼；西蒙娜·隆奇·德尔拉·罗卡 2 2009 从轻逻辑到类型分配：案例研究。 Zbl 1182.03066号 马可·加博阿迪；西蒙娜·隆奇·德尔拉·罗卡 1 2009 用于稳定性的逻辑语义。 Zbl 1338.03018号 卢卡保利尼；毛罗·皮科洛；西蒙娜·隆奇·德尔拉·罗卡 1 2009 多项式lambda演算的类型推断。 Zbl 1246.03029号 马可·加博阿迪；西蒙娜·隆奇·德尔拉·罗卡 1 2009 PSPACE的逻辑说明。 Zbl 1295.68116号 马可·加博阿迪；Jean-Yves玛丽恩；德拉·罗卡（Della Rocca）、西蒙娜·隆奇（Simona Ronchi） 7 2008 轻逻辑和按调用值lambda演算。 Zbl 1161.68011号 保罗·科波拉；乌戈·达尔拉戈；西蒙娜·隆奇·德尔拉·罗卡 5 2008 软线性逻辑和多项式复杂性类。 Zbl 1277.03027号 马可·加博阿迪；Jean-Yves玛丽恩；西蒙娜·隆奇·德尔拉·罗卡 2 2008 （lambda）-演算的软类型赋值系统。 Zbl 1179.03062号 马可·加博阿迪；西蒙娜·隆奇·德尔拉·罗卡 12 2007 交叉口类型为教堂。 兹比尔1125.68031 路易吉·利科里；西蒙娜·隆奇·德尔拉·罗卡 8 2007 键入lambda计算和应用程序。2007年6月26日至28日在法国巴黎举行的第八届TLCA国际会议。诉讼程序。 Zbl 1120.03002号 1 2007 强归一化的操作特征。 兹比尔1180.68105 卢卡保利尼；伊莱恩·皮门特尔；西蒙娜·隆奇·德拉·罗卡 5 2006 基本仿射逻辑和按调用值lambda演算。 Zbl 1114.03050号 保罗·科波拉；乌戈·达尔拉戈；西蒙娜·隆奇·德拉·罗卡 4 2005 初等仿射逻辑中lambda演算的主类型。 Zbl 1095.03069号 保罗·科波拉；西蒙娜·隆奇·德拉·罗卡 三 2005 懒惰的强规范化。 Zbl 1272.68087号 卢卡保利尼；伊莱恩·皮门特尔；西蒙娜·隆奇·德尔拉·罗卡 三 2005 走向交叉型系统a la Church。 Zbl 1272.03081号 路易吉·利科里；西蒙娜·隆奇·德尔拉·罗卡 2 2005 参数lambda演算。用于计算的元模型。 Zbl 1084.68020号 西蒙娜·隆奇·德尔拉·罗卡；卢卡保利尼 25 2004 参数传递\（\lambda\）-演算。 Zbl 1082.68015号 卢卡保利尼；德拉·罗卡（Della Rocca）、西蒙娜·隆奇（Simona Ronchi） 7 2004 懒惰的逻辑语义。 Zbl 1271.68078号 卢卡保利尼；西蒙娜·隆奇·德尔拉·罗卡 2 2004 基本仿射逻辑中的主类型。 Zbl 1040.03025号 保罗·科波拉；西蒙娜·隆奇·德拉·罗卡 4 2003 交集类型\（\lambda\）-演算。 Zbl 1270.03032号 西蒙娜·隆奇·德尔拉·罗卡 4 2003 交叉逻辑。 Zbl 0999.03011号 西蒙娜·隆奇·德尔拉·罗卡；卢卡·罗维斯 7 2001 理论计算机科学。第七届意大利会议，ICTCS 2001，意大利都灵，2001年10月4-6日。诉讼程序。 Zbl 0971.00032号 1 2001 Call-by-value可解性。 Zbl 0958.68061号 卢卡保利尼；西蒙娜·隆奇·德尔拉·罗卡 9 1999 call-by-value\（\lambda\）-演算：语义研究。 Zbl 0936.03017号 阿尔贝托·普拉瓦托；西蒙娜·隆奇·德拉·罗卡；卢卡·罗维斯 6 1999 字母转换和类型。 兹比尔1004.03005 A.J.Kfoury。；Ronchi della Rocca，S。；Tiuryn，J。；Urzyczyn，P。 三 1999 语言方案片段的结构化操作语义。 Zbl 0933.68087号 Furio Honsell；阿尔贝托·普拉瓦托；西蒙娜·隆奇·德拉·罗卡 1 1998 兰姆达微积分和直觉线性逻辑。 Zbl 0894.03013号 西蒙娜·隆奇·德拉·罗卡；卢卡·罗维斯 8 1997 比较类型化和类型赋值系统的多维数据集。 Zbl 0952.03010号 范·贝克尔，斯特芬；路易吉·利科里；西蒙娜·隆奇·德拉·罗卡；巴维尔·乌尔兹琴 5 1997 call-by-value\（\lambda\）-演算的分类语义。 Zbl 1063.68558号 普拉瓦托，A。；Ronchi della Rocca，S。；罗维斯，L。 2 1995 分层多态类型规程的类型推理算法。 Zbl 0822.68016号 保拉·吉安尼尼；西蒙娜·隆奇·德拉·罗卡 4 1994 正在比较多维数据集。 Zbl 0947.03022号 范·贝克尔，斯特芬；路易吉·利科里；西蒙娜·隆奇·德拉·罗卡；巴威·乌尔兹琴 三 1994 类型推断。一些结果，一些问题。 Zbl 0797.68026号 保拉·吉安尼尼；Furio Honsell；西蒙娜·隆奇·德尔拉·罗卡 6 1993 拓扑lambda模型的逼近定理和lambda演算的拓扑不完全性。 兹比尔0763.03012 Furio Honsell；Simonetta Ronchi della Rocca公司 28 1992 操作、指称和逻辑描述：案例研究。 Zbl 0762.68042号 拉维尼亚·埃吉迪；Furio Honsell；西蒙娜·隆奇·德尔拉·罗卡 18 1992 多态类型学科中的类型推理。 Zbl 1493.68086号 保拉·吉安尼尼；西蒙娜·隆奇·德尔拉·罗卡 三 1991 惰性call-by-value\（\lambda\）-演算。 Zbl 0777.68062号 拉维尼亚·埃吉迪；Furio Honsell；西蒙娜·隆奇·德拉·罗卡 1 1991 1989年7月11日至15日在意大利斯特莱斯举行的第16届自动控制、语言和编程国际研讨会论文集。 兹比尔0731.00023 1 1991 自动化、语言和编程。第十六届国际学术讨论会，1989年7月11日至15日，意大利斯特雷萨。诉讼程序。 Zbl 0681.00016号 2 1989 交叉型学科的主类型方案和统一。 Zbl 0656.68022号 西蒙娜·隆奇·德尔拉·罗卡 16 1988 对于\（\lambda \）-演算，拓扑模型是不完整的。 Zbl 0665.03010号 F.Honsell。；Ronchi Della Rocca，S。 5 1987 一种用于交叉口类型方案的统一半算法。 Zbl 0644.03008号 西蒙娜·隆奇·德尔拉·罗卡 2 1987 扩展类型理论的主类型方案。 Zbl 0535.03007号 Ronchi della Rocca，S。；B.Venneri。 19 1984 滤波器λ模型的特征定理。 Zbl 0513.03008号 西莫内塔·朗奇·德尔拉·罗卡 8 1982 lambda-calculus的（D_\infty）模型中无限项集的可分辨性。 Zbl 0469.03008号 Ronchi della Rocca，S。 三 1981 （lambda-\beta\）-演算中的判别算法。 Zbl 0405.03005号 Böhm，C。；Dezani-Ciancaglini，M。；佩雷蒂，P。；Ronchi della Rocca，S。 14 1979 （λ）项约简的复杂性。 Zbl 0424.03009号 Dezani-Ciancaglini，M。；Ronchi Della Rocca，S。；塞塔，L。 4 1979 Scott（D_infty）-（lambda）-演算模型中有限项集的（半）-可分离性。 Zbl 0394.03021号 M.科波。；Dezani-Ciancaglini，M。；Ronchi della Rocca，S。 12 1978 减少用于表示信息结构系列的存储。 Zbl 0363.68047号 Dezani-Ciancaglini，M。；Ronchi Della Rocca，S。 三 1977 定点运算符定义的信息结构列表。 Zbl 0308.68028号 Böhm，C。；Dezani-Ciancaglini，M。；Ronchi della Rocca，S。 2 1974 所有引用出版物 前5名被引用出版物 全部的 前5名191位作者引用 20 西蒙娜·隆奇·德尔拉·罗卡 14 马里亚纽拉州Dezani-Ciancaglini 13 迪莉娅·凯斯纳 10 帕特里克·贝洛特 10 朱利奥·曼佐内托 10 卢卡保利尼 8 范·贝克尔，斯特芬 6 贝尼亚米·阿卡托利 6 法比奥·阿莱西 6 安东尼奥·布恰雷利 6 乌戈·达尔拉戈 6 朱利奥·格雷里 6 Furio Honsell 5 西尔维娅·吉勒赞 5 安东尼奥·萨利布拉 4 安德烈亚·阿斯佩蒂 4 佛朗哥·巴巴内拉 4 乌戈·德利古罗 4 亚历杭德罗·迪亚斯·卡洛 4 玛丽娜·莱妮莎 4 路易吉·利科里 4 西蒙·马蒂尼 4 毛罗·皮科洛 三 阿尔维斯，桑德拉 三 香塔尔·伯林 三 丹尼尔·德·卡瓦略 三 埃斯皮里托·桑托（Espírito Santo）、何塞·卡洛斯（JoséCarlos） 三 亚历克西斯·盖塞伦 三 阿萨夫·科福里。 三 Jean-Yves玛丽恩 三 米歇尔·帕加尼 三 罗曼·佩乔 三 阿伦·斯塔姆 三 巴威·乌尔兹琴 三 丹尼尔·利马·文图拉 三 Wells，Joe B。 2 泽纳·M·阿里奥拉。 2 亨德里克·彼得·巴伦德雷格特 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 马里奥·科普 2 保罗·科波拉 2 埃里卡·德·贝内代蒂 2 彼得罗·迪·贾南托尼奥 2 丹尼尔·多尔蒂（Daniel J.Dougherty）。 2 Gilles Dowek 2 克劳迪娅·法根 2 马可·加博阿迪 2 保拉·吉安尼尼 2 伊曼纽尔·海因里 2 辛德雷，J.罗杰 2 贝内代托·恩特里吉拉 2 Jelena Ivetić 2 克里斯托弗·詹金斯 2 雷纳·克思 2 奥利维·洛朗 2 皮埃尔·莱斯坎 2 斯蒂芬妮娅·卢辛 2 拉尔夫·马提斯 2 达米亚诺·马扎 2 卡里姆·努尔 2 鲁伊斯·平托（Luís F.Pinto）。 2 阿道夫·皮佩尔诺 2 戈登·普洛金（Gordon D.Plotkin）。 2 安德鲁·波伦斯基 2 亚历杭德罗·雷奥斯 2 多梅尼科·鲁阿波洛 2 戴维·桑吉奥吉 2 阿列克西·舒伯特 2 亚历山大·斯蒂恩 2 克劳德·斯托尔泽 2 Jerzy Tiuryn 2 恩里科·特隆西 2 皮埃尔小瓶 2 安德烈斯·维索 2 玛格丽塔·佐齐 1 大卫·W·阿尔布雷希特。 1 罗伯特·阿马迪奥（Roberto M.Amadio）。 1 佩德罗·安吉洛 1 巴勃罗·阿里吉 1 费德里科·阿西埃里 1 克莱门·奥伯特 1 马丁·阿文齐尼 1 马克·巴格诺尔 1 斯特凡诺·贝拉尔迪 1 亚历山德罗·贝拉杜奇 1 洛伦佐·贝蒂尼 1 科拉多·伯姆 1 维维亚娜·博诺 1 杰拉德·布多尔 1 弗拉维恩·布鲁瓦特 1 萨宾·布罗达 1 阿尔贝托·卡拉罗 1 杰切克·克尔兹 1 蝉蜕、阿加塔 1 约翰·纽索姆·克罗斯利 1 皮埃尔·卢伊斯·居里 1 Gianluca Curzi 1 雷内·戴维 1 de Vries，Fer Jan J。 1 罗伯托·迪·科斯莫 …还有91位作者 全部的 前5名24篇连载文章中引用 51 理论计算机科学 22 信息与计算 13 MSCS公司。计算机科学中的数学结构 12 计算机科学中的逻辑方法 6 纯逻辑与应用逻辑年鉴 三 自动推理杂志 2 计算机与系统科学杂志 2 符号逻辑杂志 2 圣母院形式逻辑杂志 2 函数编程杂志 2 ACM计算逻辑汇刊 1 离散数学 1 Calcolo公司 1 意大利信息研究所 1 符号计算杂志 1 计算的形式方面 1 数学逻辑档案 1 符号逻辑公报 1 RAIRO公司。理论信息学及其应用 1 逻辑与代数程序设计杂志 1 康普特斯·伦德斯。数学竞赛。巴黎科学院 1 应用逻辑杂志 1 RAIRO公司。理论信息学及其应用 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在9个字段中引用 141 数学逻辑和基础（03-XX） 141 计算机科学（68至XX） 4 范畴理论；同调代数（18-XX） 三 阶、格、有序代数结构（06-XX） 2 量子理论（81-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 一般代数系统（08-XX） 1 群论与推广（20-XX） 按年份列出的引文