编辑配置文件（在新选项卡中打开） 斯特凡诺·贝拉尔迪 合著者距离 作者ID： 贝拉尔迪·斯特凡诺 发布方式： 斯特凡诺·贝拉尔迪;贝拉迪，S。 已编制索引的文档： 65出版物自1988年以来，包括2个附加arXiv预打印 10作为编辑的贡献 合著者： 30位合著者具有64联合出版物 455位合作作者 全部的 前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 信息与计算 三 逻辑与计算杂志 三 计算机科学中的数学结构 三 计算机科学课堂讲稿 三 计算机科学中的逻辑方法 三 理论计算机科学电子论文集（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文件 引用人▼ 年份▼ 关于选择公理的计算内容。 Zbl 0914.03059号 斯特凡诺·贝拉尔迪;马克·贝泽姆;可口、蒂埃里 28 1998 用于经典程序提取的对称lambda演算。 Zbl 0853.68159号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 25 1996 Martin-Löf归纳定义的经典系统并不等价于循环证明系统。 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 二阶公式经典原理的一些直觉等价物。 Zbl 1113.03055号 Stefano贝拉迪 7 2006 删除简单键入的\（\lambda\）-terms。 Zbl 0863.03007号 Stefano贝拉迪 7 1996 配对拉姆齐定理是直觉算法中的经典原理。 Zbl 1359.03045号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 7 2014 作为Type:Type的模型收回dI-domains。 Zbl 0728.68036号 斯特凡诺·贝拉尔迪 7 1991 具有1回溯功能的游戏。 Zbl 1241.03006号 斯特凡诺·贝拉尔迪;可口、蒂埃里;Susumu Hayashi 6 2010 归纳定义和算术循环证明的等价性。 Zbl 1452.03129号 Stefano贝拉迪;Makoto Tatsuta 6 2017 拉姆齐定理的直观版本及其在程序终止中的使用。 Zbl 1378.03050号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 5 2015 极限可计算数学的序列演算。 Zbl 1135.03027号 斯特凡诺·贝拉尔迪;山形，Yoriyuki 5 2008 通过棒递归分析Podelski-Rybalchenko终止定理。 Zbl 1444.03140号 Stefano贝拉迪;保罗·奥利瓦;西尔维娅·斯特拉 4 2019 在结构演算中，证明了排除距离和选择的相关性。 Zbl 0860.68093号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 4 1996 作为极限完成的经典逻辑。 Zbl 1068.03054号 斯特凡诺·贝拉尔迪 4 2005 经典与直觉算法保守性定理的推广。 兹比尔1036.03040 斯特凡诺·贝拉尔迪 4 2004 （lambda_{text{PA}}^{text{Sym}}）中的“经典”编程：非通量分析。 兹伯利0885.03029 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪;马西莫·希瓦洛基 4 1997 没有交换的正算术是一种子类逻辑。 Zbl 1138.03019号 斯特凡诺·贝拉尔迪;Makoto Tatsuta 4 2007 Martin-Löf归纳定义的经典体系并不等价于循环证明。 Zbl 1509.03158号 斯特凡诺·贝拉尔迪;Makoto Tatsuta 三 2019 克里文对经典完备性的直观证明（对于可数语言）。 Zbl 1062.03058号 斯特凡诺·贝拉尔迪;西尔维奥·瓦伦蒂尼 三 2004 弗里德曼翻译的新用途：交互式实现。 Zbl 1334.03058号 费德里科·阿斯奇里;斯特凡诺·贝拉尔迪 三 2012 \（\beta\eta\）-系统\（F\）的完整模型。 Zbl 1029.03004号 斯特凡诺·贝拉尔迪;香塔尔·伯林 三 2002 为系统（F）建立连续的网状模型。 Zbl 0968.68087号 贝拉迪，S。;C·柏林。 三 2000 校样和程序的类型。1995年6月5日至8日在意大利都灵举行的95型国际研讨会。精选论文。 Zbl 0852.00045号 三 1996 经典逻辑的强规范化结果。 Zbl 0832.03028号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 三 1995 将非结构化推理解释为非单调学习。 Zbl 1169.68022号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 三 2009 EM（{1}）算法实现器的微积分。（扩展摘要）。 Zbl 1156.03333号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 三 2008 交互式实验器：从非结构化证明中提取程序的一种新方法。 Zbl 1351.68069号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 2 2012 Curry-Howard对HA+EM1的解释的可实现性和强规范性。 Zbl 1356.03056号 费德里科·阿西埃里;斯特凡诺·贝拉尔迪;乔瓦尼·比罗洛 2 2013 在程序优化中使用子类型。 Zbl 1063.68562号 贝拉迪，S。;博埃里奥，L。 2 1995 校样和程序的类型。2003年4月30日至5月4日，意大利都灵，TYPES 2003国际研讨会。修改选定的论文。 Zbl 1052.68001号 2 2004 多态性的完整连续模型。 Zbl 1018.68015号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 2 2003 基于具有可伸缩动作的Tarski游戏的直觉算法语义。 Zbl 1215.03069号 斯特凡诺·贝拉尔迪 2 2007 直觉Podelski-Rybalchenko定理以及归纳定义和循环证明之间的等价性。 Zbl 1520.03008号 斯特凡诺·贝拉尔迪;Makoto Tatsuta 2 2018 非单调预定点和学习。 Zbl 1374.68541号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 1 2017 实现了对选择公理的否定解释。 Zbl 1063.03537号 斯特凡诺·贝拉尔迪;马克·贝泽姆;可口、蒂埃里 1 1995 知识空间和学习策略的完整性。 Zbl 1326.68167号 Stefano贝拉迪;乌戈·德利古罗 1 2014 Ramsey关于成对和（k）颜色的定理是一种亚经典的算术原理。 兹伯利1419.03055 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 1 2017 拉姆齐定理是建立良好关系的直观性质。 Zbl 1417.03299号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 1 2014 基于交互学习的Heyting算法可实现性解释{EM}_1\). Zbl 1201.03051号 费德里科·阿西埃里;斯特凡诺·贝拉尔迪 1 2009 非交换无限Peano算法。 Zbl 1247.03122号 Makoto Tatsuta;Stefano贝拉迪 1 2011 通过近似和示例进行构造。 兹伯利0937.03064 斯特凡诺·巴拉泰拉;斯特凡诺·贝拉尔迪 1 1998 有限花的均衡。 Zbl 0658.03033号 斯特凡诺·贝拉尔迪 1 1988 经典逻辑的另一种构造。 Zbl 0940.03065号 斯特凡诺·巴拉泰拉;斯特凡诺·贝拉尔迪 1 1998 一阶经典逻辑的直觉完备性。 Zbl 0929.03039号 斯特凡诺·贝拉尔迪 1 1999 总体功能和基础良好的策略。（扩展摘要）。 Zbl 0932.03014号 斯特凡诺·贝拉尔迪;乌戈·德利古罗 1 1999 PER模型在程序提取中的应用。 Zbl 0797.68108号 Stefano贝拉迪 1 1993 经典逻辑的构造性赋值语义。 兹比尔0882.03007 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 1 1996 功能程序的基于类型的无用代码消除（立场文件）。 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。 兹比尔1465.68018 1 2021 通过棒递归分析Podelski-Rybalchenko终止定理。 Zbl 1444.03140号 斯特凡诺·贝拉尔迪;保罗·奥利瓦;西尔维娅·斯泰拉 4 2019 Martin-Löf归纳定义的经典体系并不等价于循环证明。 Zbl 1509.03158号 斯特凡诺·贝拉尔迪;Makoto Tatsuta 三 2019 直觉Podelski-Rybalchenko定理以及归纳定义和循环证明之间的等价性。 Zbl 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号 斯特凡诺·贝拉尔迪;德＆rsquo的；乌戈·利古罗 1 2017 Ramsey关于成对和（k）颜色的定理是一种亚经典的算术原理。 兹伯利1419.03055 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 1 2017 拉姆齐定理的直观版本及其在程序终止中的使用。 Zbl 1378.03050号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 5 2015 配对拉姆齐定理是直觉算法中的经典原理。 Zbl 1359.03045号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 7 2014 知识空间和学习策略的完整性。 Zbl 1326.68167号 Stefano贝拉迪;德＆rsquo的；乌戈·利古罗 1 2014 拉姆齐定理是建立良好关系的直观性质。 Zbl 1417.03299号 斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 1 2014 Curry-Howard对HA+EM1的解释的可实现性和强规范性。 Zbl 1356.03056号 费德里科·阿西埃里;斯特凡诺·贝拉尔迪;乔瓦尼·比罗洛 2 2013 弗里德曼翻译的新用途：交互式实现。 Zbl 1334.03058号 费德里科·阿西埃里;斯特凡诺·贝拉尔迪 三 2012 交互式实现器：一种从非结构化证明中提取程序的新方法。 Zbl 1351.68069号 斯特凡诺·贝拉尔迪;设计；乌戈·利古罗 2 2012 非交换无限Peano算法。 兹比尔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\). Zbl 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 二阶公式经典原理的一些直觉等价物。 兹比尔1113.03055 斯特凡诺·贝拉尔迪 7 2006 作为极限完成的经典逻辑。 兹比尔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 0929.03039号 斯特凡诺·贝拉尔迪 1 1999 全面的职能和有充分依据的战略。（扩展摘要）。 Zbl 0932.03014号 Stefano贝拉迪;设计；乌戈·利古罗 1 1999 关于选择公理的计算内容。 Zbl 0914.03059号 斯特凡诺·贝拉尔迪;马克·贝泽姆;可口、蒂埃里 28 1998 通过近似和示例进行构造。 Zbl 0937.03064号 斯特凡诺·巴拉泰拉;斯特凡诺·贝拉尔迪 1 1998 经典逻辑的另一种建构。 Zbl 0940.03065号 斯特凡诺·巴拉泰拉;Stefano贝拉迪 1 1998 （lambda_{text{PA}}^{text{Sym}}）中的“经典”编程：非通量分析。 Zbl 0885.03029号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪;马西莫·希瓦洛基 4 1997 用于经典程序提取的对称lambda演算。 Zbl 0853.68159号 佛朗哥·巴巴内拉;斯特凡诺·贝拉尔迪 25 1996 删除简单键入的\（\lambda\）-terms。 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模型在程序提取中的应用。 兹比尔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·阿里奥拉。 三 乌尔里希·伯杰 三 比博，卡塔林 三 科恩、利隆 三 达斯，阿努帕姆 三 藤原，Makoto 三 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 塞缪尔·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 马塞洛·菲奥雷（Marcelo P.Fiore）。 1 卡斯滕·范尔曼 1 藤田，健毅 1 甘比诺，尼古拉 1 伊恩·菲利普 1 保拉·吉安尼尼 1 杰里米·吉本斯 1 维克多·戈麦斯。 1 乔治·戈蒂尔 1 朱利安·赫奇斯 1 Ho，翁金 1 Furio Honsell 1 迈克尔·R·A·胡特。 1 Hyland，J.Martin E。 1 罗莎莉，伊姆霍夫 1 伊利克、丹科 1 Jelena Ivetić 1 武提伊祖米 1 菲利普·约翰森·弗雷德 1 Jean-Baptiste儒瓦内 1 Yukiyoshi县Kameyama 1 雷纳·克思 1 多米尼克·柯斯特 1 高、香山 1 佐藤小林 …还有62位作者 全部的 前5名25篇连载文章中引用 24 纯逻辑与应用逻辑年鉴 21 理论计算机科学 13 计算机科学中的数学结构 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） 按年份列出的引文