编辑配置文件（在新选项卡中打开） E.莫兰。 合著者距离 作者ID： 莫兰 发布方式： 莫兰，E。 已编制索引的文档： 1出版物自2006年起 合著者： 6位合著者具有1联合出版物 52位合作作者 全部的 前5名合著者 0 单作者的 1 斯图亚特·艾伦。 1 马克·比克福德 1 罗伯特·李，警察 1 理查德·伊顿 1 克里斯托夫·克里茨 1 洛里戈，洛里 系列 1 应用逻辑杂志 领域 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用15中的次14文件 引用人▼ 年份▼ 使用Nuprl的计算类型理论创新。 Zbl 1107.68090号 艾伦，S.F。;比克福德，M。;康斯特布尔，R.L。;伊顿，R。;克里茨，C。;洛里戈。;E.莫兰。 15 2006 使用Nuprl的计算类型理论创新。 Zbl 1107.68090号 艾伦，S.F。;比克福德，M。;康斯特布尔，R.L。;伊顿，R。;克里茨，C。;洛里戈，L。;E.莫兰。 15 2006 所有引用出版物 前5名被引用出版物 全部的 前5名18位作者引用 4 罗伯特·李，警察 三 马克·比克福德 三 科恩、利隆 2 克里斯托弗·詹金斯 2 文森特·拉里 2 阿伦·斯塔姆 1 卡洛·安吉乌利 1 大卫·阿斯皮纳尔 1 丹尼·埃文 1 拉里·迪尔 1 索菲亚·阿布瑞·法罗 1 罗伯特·哈珀 1 Hou（Favonia）、Kuen-Bang 1 阿里尔·凯利森（Ariel E.Kellison）。 1 罗朝晖 1 克里斯托夫·吕斯 1 弗洛里安·拉贝 1 罗斯·泰特 4篇连载文章中引用 2 MSCS公司。计算机科学中的数学结构 1 纯逻辑与应用逻辑年鉴 1 数学与人工智能年鉴 1 计算机科学中的数学 在3个字段中引用 12 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 1 几何形状（51至XX） 按年份列出的引文