编辑配置文件(在新选项卡中打开) 斯特凡诺·贝拉尔迪 合著者距离 作者ID: 贝拉尔迪·斯特凡诺 发布日期: 斯特凡诺·贝拉尔迪;贝拉迪,S。 已编制索引的文档: 65出版物自1988年以来,包括2个附加arXiv预打印 作为编辑的10份贡献 合著者: 30位合著者具有64联合出版物 454位合作作者 全部的 前5名合著者 11 单作者的 11 乌戈·德利古罗 10 Makoto Tatsuta 9 佛朗哥·巴巴内拉 5 西尔维娅·斯特拉 4 费德里科·阿西埃里 4 斯特凡诺·巴拉泰拉 4 范·贝克尔,斯特芬 三 乌尔里希·伯杰 三 香塔尔·伯林 三 马里奥·科普 三 可口、蒂埃里 三 费卢西奥·达米亚尼 2 马克·贝泽姆 2 博埃里奥,L。 1 F.阿尔塔维拉。 1 托尔斯滕·阿滕柯奇 1 阿德里亚诺·巴里尔 1 吉安路易吉·贝林 1 乔瓦尼·比罗洛 1 特里斯坦·克罗拉德 1 保拉·吉安尼尼 1 Susumu Hayashi 1 乌尔里希·威廉·科伦巴赫 1 亚历山大·米克尔 1 保罗·奥利瓦 1 佩利奇奥尼,A。 1 卢卡·罗维斯 1 马西莫·希瓦洛基 1 西尔维奥·瓦伦蒂尼 1 Yoriyuki山形 全部的 前5名系列 8 纯逻辑与应用逻辑年鉴 4 符号逻辑杂志 4 理论计算机科学 4 信息与计算 三 逻辑与计算杂志 三 MSCS公司。计算机科学中的数学结构 三 计算机科学课堂讲稿 三 计算机科学中的逻辑方法 三 理论计算机科学电子论文集(EPTCS) 2 计算机基础理论 1 圣母院形式逻辑杂志 1 Rendiconti del Matematico研讨会 1 数学逻辑档案 1 数学逻辑季刊(MLQ) 1 函数编程杂志 1 ACM计算逻辑事务 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 59 数理逻辑与基础(03-XX) 31 计算机科学(68至XX) 10 总体主题;集合(00-XX) 5 组合数学(05-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 历史和传记(01-XX) 1 统计学(62-XX) 1 地球物理学(86-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 53出版物有被引用226中的次153文件 引用人▼ 年份▼ 关于选择公理的计算内容。 兹伯利0914.03059 斯特凡诺·贝拉尔迪;马克·贝泽姆;可口、蒂埃里 28 1998 用于经典程序提取的对称lambda演算。 Zbl 0853.68159号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 25 1996 马丁洛夫归纳定义的经典体系并不等同于循环证明体系。 Zbl 1486.03094号 斯特凡诺·贝拉尔迪;Makoto Tatsuta 12 2017 通过类控制约简从经典逻辑中提取构造性内容。 Zbl 0788.68016号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 11 1993 基于交互学习的Heyting算法的可实现性{EM}_1\). Zbl 1201.03052号 费德里科·阿西埃里;斯特凡诺·贝拉尔迪 10 2010 用于“经典”程序提取的对称lambda演算。 Zbl 0942.03506号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 8 1994 删除简单键入的\(\lambda\)-terms。 Zbl 0863.03007号 斯特凡诺·贝拉尔迪 7 1996 配对拉姆齐定理是直觉算法中的经典原理。 Zbl 1359.03045号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 7 2014 作为Type:Type的模型收回dI-domains。 Zbl 0728.68036号 斯特凡诺·贝拉尔迪 7 1991 二阶公式经典原理的一些直觉等价物。 Zbl 1113.03055号 斯特凡诺·贝拉尔迪 7 2006 具有1回溯功能的游戏。 Zbl 1241.03006号 斯特凡诺·贝拉尔迪;可口、蒂埃里;Susumu Hayashi 6 2010 归纳定义和算术循环证明的等价性。 Zbl 1452.03129号 斯特凡诺·贝拉尔迪;Makoto Tatsuta 6 2017 极限可计算数学的序列演算。 Zbl 1135.03027号 斯特凡诺·贝拉尔迪;山形,Yoriyuki 5 2008 拉姆齐定理的直观版本及其在程序终止中的使用。 Zbl 1378.03050号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 5 2015 通过棒递归分析Podelski-Rybalchenko终止定理。 Zbl 1444.03140号 斯特凡诺·贝拉尔迪;保罗·奥利瓦;西尔维娅·斯特拉 4 2019 在结构演算中,证明了排除距离和选择的相关性。 Zbl 0860.68093号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 4 1996 作为极限完成的经典逻辑。 Zbl 1068.03054号 斯特凡诺·贝拉尔迪 4 2005 (lambda_{text{PA}}^{text{Sym}})中的“经典”编程:非通量分析。 Zbl 0885.03029号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪;马西莫·西瓦洛奇 4 1997 没有交换的正算术是一种子类逻辑。 Zbl 1138.03019号 斯特凡诺·贝拉尔迪;Makoto Tatsuta 4 2007 经典算术与直觉算术的保守性定理的推广。 Zbl 1036.03040号 斯特凡诺·贝拉尔迪 4 2004 Martin-Löf归纳定义的经典体系并不等价于循环证明。 兹比尔1509.03158 斯特凡诺·贝拉尔迪;Makoto Tatsuta 三 2019 经典逻辑的强规范化结果。 Zbl 0832.03028号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 三 1995 校样和程序的类型。1995年6月5日至8日在意大利都灵举行的95型国际研讨会。精选论文。 Zbl 0852.00045号 三 1996 将非结构化推理解释为非单调学习。 Zbl 1169.68022号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 三 2009 EM({1})算法实现器的微积分。(扩展摘要)。 Zbl 1156.03333号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 三 2008 \(测试版)-系统(F)的完整模型。 Zbl 1029.03004号 斯特凡诺·贝拉尔迪;香塔尔·伯林 三 2002 克里文对经典完备性的直观证明(对于可数语言)。 Zbl 1062.03058号 斯特凡诺·贝拉尔迪;西尔维奥·瓦伦蒂尼 三 2004 为系统(F)建立连续的网状模型。 Zbl 0968.68087号 贝拉迪,S。;C·柏林。 三 2000 弗里德曼翻译的新用途:交互式实现。 Zbl 1334.03058号 费德里科·阿西埃里;斯特凡诺·贝拉尔迪 三 2012 在程序优化中使用子类型。 Zbl 1063.68562号 贝拉迪,S。;博埃里奥,L。 2 1995 基于具有可伸缩动作的Tarski游戏的直觉算法语义。 Zbl 1215.03069号 斯特凡诺·贝拉尔迪 2 2007 多态性的完整连续模型。 Zbl 1018.68015号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 2 2003 Curry-Howard对HA+EM1的解释的可实现性和强规范性。 Zbl 1356.03056号 费德里科·阿西埃里;斯特凡诺·贝拉尔迪;乔瓦尼·比罗洛 2 2013 交互式实现器:一种从非结构化证明中提取程序的新方法。 Zbl 1351.68069号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 2 2012 直觉Podelski-Rybalchenko定理以及归纳定义和循环证明之间的等价性。 Zbl 1520.03008号 斯特凡诺·贝拉尔迪;Makoto Tatsuta 2 2018 校样和程序的类型。2003年4月30日至5月4日,意大利都灵,TYPES 2003国际研讨会。修订了选定的论文。 Zbl 1052.68001号 2 2004 经典逻辑的构造性赋值语义。 兹比尔0882.03007 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 1 1996 实现了对选择公理的否定解释。 Zbl 1063.03537号 斯特凡诺·贝拉尔迪;马克·贝泽姆;可口、蒂埃里 1 1995 PER模型在程序提取中的应用。 Zbl 0797.68108号 斯特凡诺·贝拉尔迪 1 1993 基于交互学习的Heyting算法的可实现性解释{EM}_1\). Zbl 1201.03051号 费德里科·阿西埃里;斯特凡诺·贝拉尔迪 1 2009 非单调预定点和学习。 Zbl 1374.68541号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 1 2017 通过近似和示例进行构造。 Zbl 0937.03064号 斯特凡诺·巴拉泰拉;斯特凡诺·贝拉尔迪 1 1998 总体功能和基础良好的策略。(扩展摘要)。 Zbl 0932.03014号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 1 1999 经典逻辑的另一种建构。 Zbl 0940.03065号 斯特凡诺·巴拉泰拉;斯特凡诺·贝拉尔迪 1 1998 一阶经典逻辑的直觉完备性。 Zbl 0929.03039号 斯特凡诺·贝拉尔迪 1 1999 Ramsey关于成对和(k)颜色的定理是一种亚经典的算术原理。 Zbl 1419.03055号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 1 2017 非交换无限Peano算法。 Zbl 1247.03122号 Makoto Tatsuta;斯特凡诺·贝拉尔迪 1 2011 拉姆齐定理是建立良好关系的直观性质。 Zbl 1417.03299号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 1 2014 知识空间和学习策略的完整性。 Zbl 1326.68167号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 1 2014 有限花的均衡。 Zbl 0658.03033号 斯特凡诺·贝拉尔迪 1 1988 功能程序的基于类型的无用代码消除(立场文件)。 Zbl 1044.68542号 斯特凡诺·贝拉尔迪;马里奥·科普;费卢西奥·达米亚尼;保拉·吉安尼尼 1 2000 为系统F建立连续的网状模型。 Zbl 1079.03017号 贝拉迪,S。;C·柏林。 1 2004 第26届国际校样和程序类型会议,2020年3月2日至5日,意大利都灵都灵大学,types 2020。 Zbl 1465.68018号 1 2021 第26届国际校样和程序类型会议,2020年3月2日至5日,意大利都灵都灵大学,types 2020。 Zbl 1465.68018号 1 2021 通过棒递归分析Podelski-Rybalchenko终止定理。 Zbl 1444.03140号 斯特凡诺·贝拉尔迪;保罗·奥利瓦;西尔维娅·斯特拉 4 2019 马丁洛夫归纳定义的经典体系并不等同于循环证明。 Zbl 1509.03158号 斯特凡诺·贝拉尔迪;Makoto Tatsuta 三 2019 直觉Podelski-Rybalchenko定理以及归纳定义和循环证明之间的等价性。 兹比尔1520.03008 斯特凡诺·贝拉尔迪;Makoto Tatsuta 2 2018 Martin-Löf归纳定义的经典系统并不等价于循环证明系统。 Zbl 1486.03094号 斯特凡诺·贝拉尔迪;Makoto Tatsuta 12 2017 算术条件下归纳定义和循环证明的等价性。 Zbl 1452.03129号 斯特凡诺·贝拉尔迪;Makoto Tatsuta 6 2017 非单调预定点和学习。 Zbl 1374.68541号 斯特凡诺·贝拉尔迪;设计;乌戈·利古罗 1 2017 Ramsey关于成对和(k)颜色的定理是一种亚经典的算术原理。 Zbl 1419.03055号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 1 2017 拉姆齐定理的直观版本及其在程序终止中的使用。 Zbl 1378.03050号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 5 2015 配对拉姆齐定理是直觉算法中的经典原理。 Zbl 1359.03045号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 7 2014 拉姆齐定理是建立良好关系的直观性质。 Zbl 1417.03299号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 1 2014 知识空间和学习策略的完整性。 Zbl 1326.68167号 斯特凡诺·贝拉尔迪;设计;乌戈·利古罗 1 2014 Curry-Howard对HA+EM1的解释的可实现性和强规范性。 Zbl 1356.03056号 费德里科·阿西埃里;斯特凡诺·贝拉尔迪;乔瓦尼·比罗洛 2 2013 弗里德曼翻译的新用途:交互式实现。 Zbl 1334.03058号 费德里科·阿西埃里;斯特凡诺·贝拉尔迪 三 2012 交互式实现器:一种从非结构化证明中提取程序的新方法。 Zbl 1351.68069号 斯特凡诺·贝拉尔迪;设计;乌戈·利古罗 2 2012 非交换无限Peano算法。 Zbl 1247.03122号 Makoto Tatsuta;斯特凡诺·贝拉尔迪 1 2011 基于交互学习的Heyting算法的可实现性{EM}_1\). Zbl 1201.03052号 费德里科·阿西埃里;斯特凡诺·贝拉尔迪 10 2010 具有1回溯功能的游戏。 Zbl 1241.03006号 斯特凡诺·贝拉尔迪;可口、蒂埃里;Susumu Hayashi 6 2010 将非结构化推理解释为非单调学习。 Zbl 1169.68022号 斯特凡诺·贝拉尔迪;设计;乌戈·利古罗 三 2009 基于交互学习的Heyting算法可实现性解释{EM}_1\). 兹比尔1201.03051 费德里科·阿西埃里;斯特凡诺·贝拉尔迪 1 2009 极限可计算数学的序列演算。 Zbl 1135.03027号 斯特凡诺·贝拉尔迪;Yoriyuki山形 5 2008 EM({1})算法实现器的微积分。(扩展摘要)。 Zbl 1156.03333号 斯特凡诺·贝拉尔迪;设计;乌戈·利古罗 三 2008 没有交换的正算术是一个子类逻辑。 Zbl 1138.03019号 斯特凡诺·贝拉尔迪;Makoto Tatsuta 4 2007 基于具有可伸缩动作的Tarski游戏的直觉算法语义。 Zbl 1215.03069号 斯特凡诺·贝拉尔迪 2 2007 二阶公式经典原理的一些直觉等价物。 Zbl 1113.03055号 斯特凡诺·贝拉尔迪 7 2006 作为极限完成的经典逻辑。 Zbl 1068.03054号 斯特凡诺·贝拉尔迪 4 2005 经典与直觉算法保守性定理的推广。 Zbl 1036.03040号 斯特凡诺·贝拉尔迪 4 2004 克里文对经典完备性的直观证明(对于可数语言)。 Zbl 1062.03058号 斯特凡诺·贝拉尔迪;西尔维奥·瓦伦蒂尼 三 2004 校样和程序的类型。2003年4月30日至5月4日,意大利都灵,TYPES 2003国际研讨会。修订了选定的论文。 Zbl 1052.68001号 2 2004 为系统F建立连续的网状模型。 Zbl 1079.03017号 贝拉迪,S。;C·柏林。 1 2004 多态性的完整连续模型。 Zbl 1018.68015号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 2 2003 \(测试版)-系统(F)的完整模型。 Zbl 1029.03004号 斯特凡诺·贝拉尔迪;香塔尔·伯林 三 2002 为系统(F)建立连续的网状模型。 Zbl 0968.68087号 贝拉迪,S。;C·柏林。 三 2000 功能程序的基于类型的无用代码消除(立场文件)。 Zbl 1044.68542号 斯特凡诺·贝拉尔迪;马里奥·科普;费卢西奥·达米亚尼;保拉·吉安尼尼 1 2000 总体功能和基础良好的策略。(扩展摘要)。 Zbl 0932.03014号 斯特凡诺·贝拉尔迪;设计;乌戈·利古罗 1 1999 一阶经典逻辑的直觉完备性。 Zbl 0929.03039号 斯特凡诺·贝拉尔迪 1 1999 关于选择公理的计算内容。 Zbl 0914.03059号 斯特凡诺·贝拉尔迪;马克·贝泽姆;可口、蒂埃里 28 1998 通过近似和示例进行构造。 Zbl 0937.03064号 斯特凡诺·巴拉泰拉;斯特凡诺·贝拉尔迪 1 1998 经典逻辑的另一种构造。 兹比尔0940.03065 斯特凡诺·巴拉泰拉;斯特凡诺·贝拉尔迪 1 1998 (lambda_{text{PA}}^{text{Sym}})中的“经典”编程:非通量分析。 Zbl 0885.03029号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪;马西莫·西瓦洛奇 4 1997 用于经典程序提取的对称lambda演算。 Zbl 0853.68159号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 25 1996 修剪简单类型的\(\lambda\)-术语。 Zbl 0863.03007号 斯特凡诺·贝拉尔迪 7 1996 在结构演算中,证明了排除距离和选择的相关性。 Zbl 0860.68093号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 4 1996 校样和程序的类型。1995年6月5日至8日在意大利都灵举行的95型国际研讨会。精选论文。 Zbl 0852.00045号 三 1996 经典逻辑的构造性赋值语义。 Zbl 0882.03007号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 1 1996 经典逻辑的强规范化结果。 Zbl 0832.03028号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 三 1995 在程序优化中使用子类型。 Zbl 1063.68562号 贝拉迪,S。;博埃里奥,L。 2 1995 实现了对选择公理的否定解释。 Zbl 1063.03537号 斯特凡诺·贝拉尔迪;马克·贝泽姆;可口、蒂埃里 1 1995 用于“经典”程序提取的对称lambda演算。 Zbl 0942.03506号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 8 1994 通过类控制约简从经典逻辑中提取构造性内容。 Zbl 0788.68016号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 11 1993 PER模型在程序提取中的应用。 Zbl 0797.68108号 斯特凡诺·贝拉尔迪 1 1993 作为Type:Type的模型收回dI-domains。 Zbl 0728.68036号 斯特凡诺·贝拉尔迪 7 1991 有限花的均衡。 Zbl 0658.03033号 斯特凡诺·贝拉尔迪 1 1988 所有引用的出版物 前5名被引用出版物 全部的 前5名162位作者引用 17 斯特凡诺·贝拉尔迪 7 费德里科·阿西埃里 7 Makoto Tatsuta 6 保罗·奥利瓦 5 Hötzel Escardó,马汀 5 西尔维娅·斯特拉 4 香塔尔·伯林 4 卡里姆·努尔 三 阿夫沙里语、巴哈雷语 三 泽纳·M·阿里奥拉。 三 乌尔里希·伯杰 三 比姆博,卡塔林 三 科恩、利隆 三 达斯,阿努帕姆 三 藤原真本 三 Susumu Hayashi 三 雨果·赫贝林 三 乌尔里希·威廉·科伦巴赫 三 Jean-Louis Krivine 三 皮埃尔·莱斯坎 三 埃蒂安·米基 2 Yohji阿卡玛 2 安德烈亚·阿斯佩蒂 2 佛朗哥·巴巴内拉 2 佩特尔·巴蒂亚尼 2 可口、蒂埃里 2 乌戈·德利古罗 2 简·赫尔曼·杰弗斯 2 西尔维娅·吉勒赞 2 玛丽安娜·吉兰多 2 毛里西奥·吉列尔莫 2 斯特凡·赫兹尔 2 石原、Hajime 2 大辅木村 2 格雷厄姆·埃米尔·利 2 亚历山大·米克尔 2 克里斯托夫·拉法利 2 文森特·拉里 2 阿穆尔·萨布里 2 佐藤真彦 2 亚历克西斯·索林 2 彼得·迈克尔·舒斯特 2 斯特拉图拉特,索林 2 山形,Yoriyuki 1 克劳斯·埃利格 1 奥罗雷·阿尔科莱 1 丹尼尔·安尼科夫 1 伊夫·贝托特 1 马克·比克福德 1 乔瓦尼·比罗洛 1 英戈·布莱希施密特 1 金发,瓦伦丁 1 瓦斯科·布拉特卡 1 威尔弗里德·巴赫霍尔茨 1 Samuel R.巴斯。 1 詹姆斯·考德威尔。 1 维南西奥·卡普雷塔 1 斯特吉奥斯·查齐基里亚基迪斯 1 皮埃尔·克莱兰堡 1 马里奥·科普 1 特里斯坦·克罗拉德 1 劳拉·克罗西拉 1 菲利普·库明 1 费卢西奥·达米亚尼 1 文森特·达诺斯 1 达斯,安库什 1 雷内·戴维 1 德文萨·坎波斯(Devesas Campos,Marco) 1 亨利·德扬 1 汉内斯·迪纳 1 布鲁诺·迪尼斯 1 丹尼尔·多尔蒂(Daniel J.Dougherty)。 1 保罗·唐恩 1 加布里埃尔·埃布纳 1 索菲亚·阿布雷乌,法罗 1 菲奥雷,马塞洛·P。 1 卡斯滕·范尔曼 1 藤田,健毅 1 尼古拉·甘比诺 1 伊恩·菲利普·根特 1 保拉·吉安尼尼 1 杰里米·吉本斯 1 维克多·戈麦斯。 1 乔治·戈蒂尔 1 朱利安·赫奇斯 1 Ho,翁金 1 Furio Honsell 1 迈克尔·R·A·胡特。 1 海兰德·J·马丁·E·。 1 罗莎莉,伊姆霍夫 1 伊利克、丹科 1 Jelena Ivetić 1 武提伊祖米 1 菲利普·约翰森·弗雷德 1 Jean-Baptiste儒瓦内 1 Yukiyoshi县Kameyama 1 雷纳·克思 1 多米尼克·柯斯特 1 高、香山 1 佐藤小林 …还有62位作者 全部的 前5名25篇连载文章中引用 24 纯逻辑与应用逻辑年鉴 21 理论计算机科学 13 MSCS公司。计算机科学中的数学结构 10 符号逻辑杂志 8 计算机科学中的逻辑方法 5 信息与计算 三 数学逻辑档案 三 数学逻辑季刊(MLQ) 2 自动推理杂志 2 函数编程杂志 2 符号逻辑公报 2 伦敦皇家学会会刊。系列A.数学、物理和工程科学 2 高阶和符号计算 1 信息处理信件 1 哲学逻辑杂志 1 Studia Logica公司 1 RAIRO公司。Informatique Théorique et Applications公司 1 Indagationes Mathematicae公司。新系列 1 数学与人工智能年鉴 1 RAIRO公司。理论信息学及其应用 1 逻辑与代数程序设计杂志 1 逻辑与逻辑哲学 1 应用逻辑杂志 1 Oberwolfach报告 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在14个字段中引用 131 数理逻辑与基础(03-XX) 73 计算机科学(68至XX) 8 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 范畴理论;同调代数(18-XX) 4 组合数学(05-XX) 2 总体主题;集合(00-XX) 2 历史和传记(01-XX) 2 阶、格、有序代数结构(06-XX) 2 交换代数(13-XX) 1 测量和集成(28-XX) 1 动力系统和遍历理论(37至XX) 1 序列、级数、可和性(40-XX) 1 算子理论(47-XX) 1 凸和离散几何(52至XX) 按年份列出的引文