编辑配置文件（在新选项卡中打开） 埃内斯托·科佩罗 合著者距离 作者ID： 科佩洛·埃内斯托 发布日期： 埃内斯托·科佩罗 已编制索引的文档： 5出版物自2015年起 合著者： 4位合著者具有5联合出版物 68位合作作者 合著者 0 单作者的 5 诺拉·萨兹 5 阿尔瓦罗·塔西斯特罗 1 安娜·波夫 1 玛丽贝尔·费尔南德斯 系列 1 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 领域 5 数理逻辑与基础（03-XX） 4 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 4出版物有被引用17次9文件 引用人▼ 年份▼ 构造型理论中lambda演算的α-结构归纳和递归。 Zbl 1395.68085号 埃内斯托·科佩罗;阿尔瓦罗·塔西斯特罗;诺拉·萨兹;安娜·波夫;玛丽贝尔·费尔南德斯 7 2016 使用斯托顿代换的lambda演算的形式元理论。 Zbl 1383.03021号 埃内斯托·科佩罗;诺拉·萨兹;阿尔瓦罗·塔西斯特罗 4 2017 使用构造型理论中的Barendrigt变量约定，对lambda演算的Church-Roser定理进行了机器检验证明。 兹比尔1433.68542 埃内斯托·科佩罗;诺拉·萨兹;阿尔瓦罗·塔西斯特罗 三 2018 斯托顿替代lambda演算的构造型理论的形式化。 Zbl 1342.68055号 阿尔瓦罗·塔西斯特罗;埃内斯托·科佩罗;诺拉·萨兹 三 2015 使用构造型理论中的Barendregt变量约定对lambda演算的Church-Rosser定理进行了机器检验证明。 Zbl 1433.68542号 埃内斯托·科佩罗;诺拉·萨兹;阿尔瓦罗·塔西斯特罗 三 2018 使用斯托顿代换的lambda演算的形式元理论。 Zbl 1383.03021号 埃内斯托·科佩罗;诺拉·萨斯;阿尔瓦罗·塔西斯特罗 4 2017 构造型理论中lambda演算的α-结构归纳和递归。 Zbl 1395.68085号 埃内斯托·科佩罗;阿尔瓦罗·塔西斯特罗;诺拉·萨兹;安娜·波夫;玛丽贝尔·费尔南德斯 7 2016 斯托顿替代lambda演算的构造型理论的形式化。 Zbl 1342.68055号 阿尔瓦罗·塔西斯特罗;埃内斯托·科佩罗;诺拉·萨兹 三 2015 所有引用出版物 排名前五的出版物 全部的 前5名12位作者引用 5 诺拉·萨兹 5 阿尔瓦罗·塔西斯特罗 4 埃内斯托·科佩罗 三 玛丽贝尔·费尔南德斯 2 毛里西奥·阿亚拉·林科恩 2 华盛顿州，de Carvalho-Segundo 2 丹尼尔·南特，索布里尼奥 2 塞巴斯蒂安·乌尔乔利 1 安娜·波夫 1 米盖尔·帕加诺 1 罗查·奥利维拉，安娜·克里斯蒂娜 1 何塞·索尔索纳。 2篇连载文章中引用 2 理论计算机科学 1 MSCS公司。计算机科学中的数学结构 在2个字段中引用 9 数理逻辑与基础（03-XX） 7 计算机科学（68至XX） 按年份列出的引文