编辑配置文件(在新选项卡中打开) 路易吉·利科里 合著者距离 作者ID: 利口酒 发布日期: 路易吉·利科里 外部链接: ORCID公司 已编制索引的文档: 35出版物自1994年以来 合著者: 28位合著者具有34联合出版物 596名合著者 全部的 前5名合著者 1 单作者的 8 Furio Honsell 7 伊万·斯卡格内托 6 霍雷修·西尔斯泰 5 克洛德·基什内尔 4 玛丽娜·莱妮莎 4 西蒙娜·隆奇·德尔拉·罗卡 4 克劳德·斯托尔泽 三 维维亚娜·博诺 三 米歇尔·布格列西 三 丹尼尔·多尔蒂(Daniel J.Dougherty)。 三 彼得·马克西莫维奇 三 沃克,本杰明 2 阿尔贝托·齐法格利翁 2 皮埃尔·莱斯坎 2 马里诺·米库兰 2 巴威·乌尔兹琴 2 范·贝克尔,斯特芬 1 吉尔·巴特 1 拉斐尔·钱德 1 米歇尔·科斯纳德。 1 乌戈·德利古罗 1 乔治·德尔扎诺 1 马里亚纽拉州Dezani-Ciancaglini 1 丹·多尔蒂 1 弗雷德里克·朗 1 Maurizio Martelli 1 伯纳德·保罗·塞尔佩特 1 阿诺德·斯皮瓦克 全部的 前5名系列 三 MSCS公司。计算机科学中的数学结构 2 逻辑与计算杂志 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 自动推理杂志 1 计算机基础理论 1 计算机科学中的逻辑方法 领域 25 计算机科学(68至XX) 24 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 33出版物有被引用132中的次70文件 引用人▼ 年份▼ 纯模式类型系统。 Zbl 1321.68137号 吉尔·巴特;霍雷修·西尔斯泰;克洛德·基什内尔;路易吉·利科里 16 2003 ρ立方体。 Zbl 0978.68072号 霍雷修·西尔斯泰;克洛德·基什内尔;路易吉·利科里 14 2001 匹配功率。 Zbl 0981.68065号 霍雷修·西尔斯泰;克洛德·基什内尔;路易吉·利科里 11 2001 重写演算中的重写策略。 Zbl 1270.68122号 霍雷修·西尔斯泰;克洛德·基什内尔;路易吉·利科里;沃克,本杰明 9 2003 交叉口类型为教堂。 兹比尔1125.68031 路易吉·利科里;西蒙娜·隆奇·德尔拉·罗卡 8 2007 用(out)类型重写微积分。 Zbl 1272.68173号 霍雷修·西尔斯泰;克洛德·基什内尔;路易吉·利科里 6 2004 用不动点重写微积分:非类型和一阶系统。 Zbl 1100.03514号 霍雷修·西尔斯泰;路易吉·利科里;沃克,本杰明 6 2004 归纳类型理论和语境理论中关于基于对象计算的推理。 Zbl 1118.68046号 阿尔贝托·齐法格利翁;路易吉·利科里;马里诺·米库兰 5 2007 比较类型化和类型赋值系统的多维数据集。 Zbl 0952.03010号 范·贝克尔,斯特芬;路易吉·利科里;西蒙娜·隆奇·德拉·罗卡;巴维尔·乌尔兹琴 5 1997 开放的逻辑框架。 Zbl 1352.68061号 Furio Honsell;玛丽娜·莱妮莎;伊万·斯卡格内托;路易吉·利科里;佩塔·马克西莫维奇 5 2016 可扩展、不完整对象的子类型。 兹比尔1040.03506 维维亚娜·博诺;米歇尔·布格列西;马里亚纽拉州Dezani-Ciancaglini;路易吉·利科里 4 1999 定义逻辑框架的框架。 兹比尔1277.03029 Furio Honsell;玛丽娜·莱妮莎;路易吉·利科里 4 2007 Fisher-Honsell-Mitchell lambda对象演算的子类型。 Zbl 1044.03507号 维维亚娜·博诺;路易吉·利科里 三 1995 共归纳型理论中基于强制对象的计算。 Zbl 1273.03105号 阿尔贝托·齐法格利翁;路易吉·利科里;马里诺·米库兰 三 2003 具有交集和并集类型的lambda演算中的逻辑和计算。 Zbl 1253.03036号 丹尼尔·多尔蒂(Daniel J.Dougherty)。;路易吉·利科里 三 2010 寻址术语重写系统:语法、语义和语用(扩展抽象)。 Zbl 1272.68177号 丹·多尔蒂;皮埃尔·莱斯坎;路易吉·利科里;弗雷德里克·朗 三 2005 正在比较多维数据集。 Zbl 0947.03022号 范·贝克尔,斯特芬;路易吉·利科里;西蒙娜·隆奇·德拉·罗卡;巴威·乌尔兹琴 三 1994 用接口扩展FeatureTrait Java。 Zbl 1146.68026号 路易吉·利科里;阿诺德·斯皮瓦克 三 2008 寻址项重写系统:类型化对象演算的应用。 Zbl 1122.68069号 丹尼尔·多尔蒂(Daniel J.Dougherty)。;皮埃尔·莱斯坎;路易吉·利科里 2 2006 \(\mathrm{L}^{mathrm{ax}}\mathrm{F}\):作为单子的边条件和外部证据。 Zbl 1425.68071号 Furio Honsell;路易吉·利科里;伊万·斯卡格内托 2 2014 多态重写演算[类型检查与类型推断]。 Zbl 1272.68191号 路易吉·利科里;沃克,本杰明 2 2005 走向交叉型系统a la Church。 Zbl 1272.03081号 路易吉·利科里;西蒙娜·隆奇·德尔拉·罗卡 2 2005 \(\mathsf{极低频}_{\mathcal{P}}\):一个逻辑框架,用于建模外部证据、附带条件和使用单子证明无关性。 Zbl 1456.03027号 Furio Honsell;路易吉·利科里;佩塔·马克西莫维奇;伊万·斯卡格内托 2 2017 交集和并集类型的可实现性解释。 Zbl 1485.03030号 丹尼尔·多尔蒂(Daniel J.Dougherty)。;乌戈·德利古罗;路易吉·利科里;克劳德·斯托尔泽 2 2016 线性逻辑中的对象计算。 Zbl 0955.68025号 米歇尔·布格列西;乔治·德尔扎诺;路易吉·利科里;Maurizio Martelli 1 2000 条件逻辑框架。 Zbl 1182.03068号 Furio Honsell;玛丽娜·莱妮莎;路易吉·利科里;伊万·斯卡格内托 1 2008 iRho:命令重写演算。 Zbl 1153.68026号 路易吉·利科里;伯纳德·保罗·塞尔佩特 1 2008 不完整对象的lambda演算。 Zbl 0896.03016号 维维亚娜·博诺;米歇尔·布格列西;路易吉·利科里 1 1996 交叉和联合类型的可判定子类型逻辑。 Zbl 1485.03032号 路易吉·利科里;克劳德·斯托尔泽 1 2017 使用插件验证开发环境锁在\(\mathsf{LF}\)中。 Zbl 1400.68195号 Furio Honsell;路易吉·利科里;彼得·马克西莫维奇;伊万·斯卡格内托 1 2018 实现康托的天堂。 Zbl 1485.03031号 Furio Honsell;玛丽娜·莱妮莎;路易吉·利科里;伊万·斯卡格内托 1 2016 \(\增量\)-演算:语法和类型。 Zbl 1528.03128号 路易吉·利科里;克劳德·斯托尔泽 1 2019 \(\Delta\)-框架。 Zbl 1528.03149号 Furio Honsell;路易吉·利科里;克劳德·斯托尔泽;伊万·斯卡格内托 1 2018 \(\增量\)-演算:语法和类型。 Zbl 1528.03128号 路易吉·利科里;克劳德·斯托尔泽 1 2019 使用插件验证开发环境锁在\(\mathsf{LF}\)中。 Zbl 1400.68195号 Furio Honsell;路易吉·利科里;彼得·马克西莫维奇;伊万·斯卡格内托 1 2018 \(\Delta\)-框架。 Zbl 1528.03149号 Furio Honsell;路易吉·利科里;克劳德·斯托尔泽;伊万·斯卡格内托 1 2018 \(\mathsf{极低频}_{\mathcal{P}}\):一个逻辑框架,用于建模外部证据、附带条件和使用单子证明无关性。 Zbl 1456.03027号 Furio Honsell;路易吉·利科里;佩塔·马克西莫维奇;伊万·斯卡格内托 2 2017 交叉和联合类型的可判定子类型逻辑。 Zbl 1485.03032号 路易吉·利科里;克劳德·斯托尔泽 1 2017 开放的逻辑框架。 Zbl 1352.68061号 Furio Honsell;玛丽娜·莱妮莎;伊万·斯卡格内托;路易吉·利科里;佩塔·马克西莫维奇 5 2016 交集和并集类型的可实现性解释。 Zbl 1485.03030号 丹尼尔·多尔蒂(Daniel J.Dougherty)。;设计;乌戈州利古罗;路易吉·利科里;克劳德·斯托尔泽 2 2016 实现康托的天堂。 Zbl 1485.03031号 Furio Honsell;玛丽娜·莱妮莎;路易吉·利科里;伊万·斯卡格内托 1 2016 \(\mathrm{L}^{mathrm{ax}}\mathrm{F}\):作为单子的边条件和外部证据。 Zbl 1425.68071号 Furio Honsell;路易吉·利科里;伊万·斯卡格内托 2 2014 具有交集和并集类型的lambda演算中的逻辑和计算。 Zbl 1253.03036号 丹尼尔·多尔蒂(Daniel J.Dougherty)。;路易吉·利科里 三 2010 用接口扩展FeatureTrait Java。 Zbl 1146.68026号 路易吉·利科里;阿诺德·斯皮瓦克 三 2008 条件逻辑框架。 Zbl 1182.03068号 Furio Honsell;玛丽娜·莱妮莎;路易吉·利科里;伊万·斯卡格内托 1 2008 iRho:命令重写演算。 Zbl 1153.68026号 路易吉·利科里;伯纳德·保罗·塞尔佩特 1 2008 交叉口类型为教堂。 兹比尔1125.68031 路易吉·利科里;西蒙娜·隆奇·德尔拉·罗卡 8 2007 归纳类型理论和语境理论中关于基于对象计算的推理。 Zbl 1118.68046号 阿尔贝托·齐法格利翁;路易吉·利科里;马里诺·米库兰 5 2007 定义逻辑框架的框架。 兹比尔1277.03029 Furio Honsell;玛丽娜·莱妮莎;路易吉·利科里 4 2007 寻址项重写系统:类型化对象演算的应用。 Zbl 1122.68069号 丹尼尔·多尔蒂(Daniel J.Dougherty)。;皮埃尔·莱斯坎;路易吉·利科里 2 2006 寻址术语重写系统:语法、语义和语用(扩展抽象)。 Zbl 1272.68177号 丹·多尔蒂;皮埃尔·莱斯坎;路易吉·利科里;弗雷德里克·朗 三 2005 多态重写演算[类型检查与类型推断]。 Zbl 1272.68191号 路易吉·利科里;沃克,本杰明 2 2005 走向交叉型系统a la Church。 Zbl 1272.03081号 路易吉·利科里;西蒙娜·隆奇·德尔拉·罗卡 2 2005 用(out)类型重写微积分。 Zbl 1272.68173号 霍雷修·西尔斯泰;克洛德·基什内尔;路易吉·利科里 6 2004 用不动点重写微积分:非类型和一阶系统。 Zbl 1100.03514号 霍雷修·西尔斯泰;路易吉·利科里;沃克,本杰明 6 2004 纯模式类型系统。 Zbl 1321.68137号 吉尔·巴特;霍雷修·西尔斯泰;克洛德·基什内尔;路易吉·利科里 16 2003 重写演算中的重写策略。 Zbl 1270.68122号 霍雷修·西尔斯泰;克洛德·基什内尔;路易吉·利科里;沃克,本杰明 9 2003 共归纳型理论中基于强制对象的计算。 Zbl 1273.03105号 阿尔贝托·齐法格利翁;路易吉·利科里;马里诺·米库兰 三 2003 ρ立方体。 Zbl 0978.68072号 霍雷修·西尔斯泰;克洛德·基什内尔;路易吉·利科里 14 2001 匹配功率。 Zbl 0981.68065号 霍雷修·西尔斯泰;克洛德·基什内尔;路易吉·利科里 11 2001 线性逻辑中的对象计算。 Zbl 0955.68025号 米歇尔·布格列西;乔治·德尔扎诺;路易吉·利科里;Maurizio Martelli 1 2000 可扩展、不完整对象的子类型。 兹比尔1040.03506 维维亚娜·博诺;米歇尔·布格列西;马里亚纽拉州Dezani-Ciancaglini;路易吉·利科里 4 1999 比较类型化和类型赋值系统的多维数据集。 Zbl 0952.03010号 范·贝克尔,斯特芬;路易吉·利科里;西蒙娜·隆奇·德拉·罗卡;巴维尔·乌尔兹琴 5 1997 不完整对象的lambda演算。 Zbl 0896.03016号 维维亚娜·博诺;米歇尔·布格列西;路易吉·利科里 1 1996 Fisher-Honsell-Mitchell lambda对象演算的子类型。 Zbl 1044.03507号 维维亚娜·博诺;路易吉·利科里 三 1995 正在比较多维数据集。 Zbl 0947.03022号 范·贝克尔,斯特芬;路易吉·利科里;西蒙娜·隆奇·德拉·罗卡;巴威·乌尔兹琴 三 1994 所有引用出版物 前5名被引用出版物 全部的 前5名109位作者引用 11 路易吉·利科里 8 克洛德·基什内尔 6 霍雷修·西尔斯泰 6 赫莱内·基什内尔 5 Furio Honsell 5 伊万·斯卡格内托 4 何塞·梅塞盖尔·瓜伊塔 三 奥纳·安德烈 三 克拉拉·贝托利西 三 维维亚娜·博诺 三 阿尔贝托·齐法格利翁 三 德国福雷 三 玛丽贝尔·费尔南德斯 三 玛丽娜·莱妮莎 三 克劳德·斯托尔泽 2 艾米莉·巴拉德 2 洛伦佐·贝蒂尼 2 乌戈·德利古罗 2 卢多维奇·亨利奥 2 弗洛里安·卡姆米勒 2 拉尔夫·拉梅尔 2 伊恩·麦基 2 马蒂·奥利特,纳西索 2 皮埃尔·埃蒂安·莫罗 2 西蒙娜·隆奇·德尔拉·罗卡 2 伊娜·谢弗 2 巴威·乌尔兹琴 2 贝蒂·文内里 2 Wells,Joe B。 1 法比奥·阿莱西 1 巴勃罗·阿里吉 1 毛里西奥·阿亚拉·林科恩 1 保罗·巴尔丹 1 瓦利德·贝尔基尔 1 斯特凡诺·贝拉尔迪 1 弗雷德里克·布兰基 1 爱德华多·博内利 1 塔比亚·博迪斯 1 彼得·博罗万斯克 1 保罗·布劳纳 1 罗伯托·布鲁尼 1 米歇尔·布格列西 1 扎卡里亚·奇哈尼 1 费卢西奥·达米亚尼 1 罗德·德弗里杰尔 1 乔治·德尔扎诺 1 纳鸿·德肖维茨 1 马里亚纽拉州Dezani-Ciancaglini 1 罗伯托·迪·科斯莫 1 彼得罗·迪·贾南托尼奥 1 亚历杭德罗·迪亚斯·卡洛 1 丹尼尔·多尔蒂(Daniel J.Dougherty)。 1 约翰·多夫兰 1 多米尼克·杜瓦尔 1 瑞希德·埃哈希德 1 托马斯·埃尔哈德 1 艾米·费尔蒂(Amy P.Felty)。 1 费雪,凯萨琳 1 简·赫尔曼·杰弗斯 1 阿兰·乔治蒂 1 埃利奥·乔瓦内蒂 1 汤姆·赫肖维茨 1 科莱门·霍特曼 1 杰·巴里 1 埃纳尔·布罗赫·约翰森 1 Fairouz D.卡马雷丁。 1 迪莉娅·凯斯纳 1 弗洛伦特·基什内尔 1 扬·威廉·克鲁普 1 米歇尔·伦茨纳 1 泽维尔·勒罗伊 1 皮埃尔·莱斯坎 1 威廉·洛瓦斯 1 比安卡·卢茨 1 彼得·马克西莫维奇 1 Maurizio Martelli 1 马里诺·米库兰 1 戴尔·艾伦·米勒 1 亚历山大·米克尔 1 约翰·米切尔(John C.Mitchell)。 1 阿尔贝托·莫米利亚诺 1 穆尼奥斯,塞萨尔·A。 1 法布里斯·纳洪 1 阮广辉 1 芭芭拉·佩蒂特 1 弗兰克·芬宁 1 亚历克斯·波坦 1 普罗斯特、弗雷德里克 1 费边·雷诺 1 科林·里巴 1 乔恩·里克(Jon G.Riecke)。 1 托比亚斯·伦格 1 佐藤信也 1 乔纳森·塞尔丁。 1 亚历克斯·沙法伦科 1 弗朗索瓦·雷吉斯·西诺 1 阿诺德·斯皮瓦克 1 克里斯托弗·斯通(Christopher A.Stone)。 1 阿伦·斯塔姆 1 Makoto Tatsuta …还有9位作者 全部的 前5名16篇连载文章中引用 12 理论计算机科学 4 信息与计算 三 自动推理杂志 三 高阶和符号计算 三 逻辑与代数程序设计杂志 2 计算机程序设计科学 2 MSCS公司。计算机科学中的数学结构 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 计算的形式方面 1 函数编程杂志 1 数学与人工智能年鉴 1 约束条件 1 应用逻辑杂志 1 计算机科学中的逻辑方法 1 形式化推理杂志 全部的 前5名在9个字段中引用 61 计算机科学(68至XX) 32 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 范畴理论;同调代数(18-XX) 1 偏微分方程(35-XX) 1 数值分析(65-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文