编辑配置文件（在新选项卡中打开） 费利斯·卡多内 合著者距离 作者ID： 卡通·费利斯 发布日期： 费利斯·卡多内;卡多内，F。 已编制索引的文档： 13出版物自1991年起 1进一步贡献 合著者： 7合著者具有8联合出版物 256位合作作者 全部的 前5名合著者 6 单作者的 三 马里奥·科普 三 马里亚纽拉州Dezani-Ciancaglini 2 法比奥·阿莱西 2 保罗·博尔迪 2 乌戈·德利古罗 1 亨德里克·皮特 1 马克·贝泽姆 1 Wil J.M.德克斯。 1 Gilles Dowek 1 曼弗雷德·德罗斯特 1 西尔维娅·吉勒赞 1 Furio Honsell 1 迈克尔·穆尔特加特 1 尼科莱塔·萨巴迪尼 1 保拉·加布里埃拉·塞维利 1 理查德·斯塔特曼 1 巴威·乌尔兹琴 全部的 前5名系列 2 理论计算机科学 1 逻辑历史与哲学 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 计算机科学中的数学结构 1 计算机基础理论 1 逻辑观点 全部的 前5名领域 10 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 范畴理论；同调代数（18-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用23中的次18文件 引用人▼ 年份▼ 具有类型的Lambda演算。Fabio Alessi、Henk Barendregt、Marc Bezem、Felice Cardone、Mario Coppo、Wil Dekkers、Mariangiola Dezani Ciancaglini、Gilles Dowek、Silvia Ghilezan、Furio Honsell、Michael Moortgat、Paula Severi、Richard Statman、PawełUrzyczyn的贡献。 Zbl 1347.03001号 亨克·巴伦德雷格特;威尔·德克尔斯;理查德·斯塔特曼 56 2013 递归类型的类型推断：语法和语义。 Zbl 0722.68076号 费利斯·卡多内;马里奥·科普 11 1991 递归类型的可判定属性。 兹比尔1257.68056 费利斯·卡多内;马里奥·科普 4 2003 Fun的递归类型。 Zbl 0746.68018号 费利斯·卡多内 三 1991 结合类型学科。 Zbl 0813.03009号 费利斯·卡多内;马里亚纽拉州Dezani-Ciancaglini;乌戈·德利古罗 三 1994 结合类型学科。 Zbl 0919.03028号 费利斯·卡多内;马里亚纽拉州Dezani-Ciancaglini;乌戈，德利古罗 1 1994 并发自动机、基本事件结构和通用域。 Zbl 0803.68035号 波迪，P。;卡多内，F。;北萨巴迪尼。 1 1993 具有类型的Lambda演算。Fabio Alessi、Henk Barendregt、Marc Bezem、Felice Cardone、Mario Coppo、Wil Dekkers、Mariangiola Dezani-Ciancaglini、Gilles Dowek、Silvia Ghilezan、Furio Honsell、Michael Moortgat、Paula Severi、Richard Statman、PawełUrzyczyn的贡献。 Zbl 1347.03001号 亨克·巴伦德雷格特;威尔·德克尔斯;理查德·斯塔特曼 56 2013 递归类型的可判定属性。 Zbl 1257.68056号 费利斯·卡多内;马里奥·科波 4 2003 结合类型学科。 Zbl 0813.03009号 费利斯·卡多内;马里亚纽拉州Dezani-Ciancaglini;设计；乌戈·利古罗 三 1994 结合类型学科。 Zbl 0919.03028号 费利斯·卡多内;马里亚纽拉州Dezani-Ciancaglini;设计；乌戈州利古罗 1 1994 并发自动机、基本事件结构和通用域。 Zbl 0803.68035号 波迪，P。;卡多内，F。;北萨巴迪尼。 1 1993 递归类型的类型推断：语法和语义。 Zbl 0722.68076号 费利斯·卡多内;马里奥·科普 11 1991 Fun的递归类型。 Zbl 0746.68018号 费利斯·卡多内 三 1991 所有引用出版物 前5名被引用出版物 全部的 前5名29位作者引用 2 卡东，费利斯 2 乌戈·德利古罗 2 保拉·加布里埃拉·塞维利 1 法比奥·阿莱西 1 罗伯特·阿马迪奥（Roberto M.Amadio）。 1 阿姆托夫特，托本 1 佛朗哥·巴巴内拉 1 斯特凡诺·贝拉尔迪 1 米歇尔·布格列西 1 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 1 戴安娜·科斯塔 1 马里亚纽拉州Dezani-Ciancaglini 1 托马斯·埃尔哈德 1 约尔格恩德鲁利斯 1 克莱门斯，抓斗手 1 海默里克、科内利斯 1 简·威廉·克洛普 1 达米亚诺·马扎 1 安德烈亚·莫迪多 1 弗里茨·米勒 1 帕维尔·G·瑙莫夫。 1 圣地亚哥·M·佩里卡斯·格特森。 1 迪奥戈·波萨 1 埃里克·波尔 1 劳伦特·雷格尼尔 1 10 Eikelder，Huub M。 1 文森特·范·奥斯特罗姆 1 Vascoconcelos、Vasco Thudichum 1 广富美横滨 全部的 前5名8篇连载文章中引用 7 理论计算机科学 三 信息与计算 2 RAIRO公司。Informatique Théorique et Applications公司 1 信息处理信件 1 纯逻辑与应用逻辑年鉴 1 计算机科学中的数学结构 1 高阶和符号计算 1 计算机科学中的逻辑方法 在4个字段中引用 13 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 1 历史和传记（01-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文