编辑配置文件(在新选项卡中打开) 伊恩·奥尔顿 合著者距离 作者ID: 奥尔顿语 发布日期: 伊恩·奥尔顿 已编制索引的文档: 6出版物自2016年起 合著者: 3位合著者具有6联合出版物 85位合著者 合著者 0 单作者的 6 安德鲁·皮特斯(Andrew M.Pitts)。 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 溅出物,Bas 系列 2 计算机科学中的逻辑方法 领域 6 数学逻辑和基础(03-XX) 6 代数拓扑(55-XX) 4 范畴理论;同调代数(18-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用51中的次35文件 引用人▼ 年份▼ 同伦类型理论模型中的内部宇宙。 Zbl 1462.03010号 丹尼尔·李卡塔(Daniel R.Licata)。;伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。;溅出物,Bas 20 2018 拓扑中立方体类型理论建模的公理。 Zbl 1370.03016号 伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。 15 2016 拓扑中立方体类型理论建模的公理。 Zbl 1509.03054号 伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。 15 2018 分解单价公理。 Zbl 1528.03110号 伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。 1 2018 同伦类型理论模型中的内部宇宙。 Zbl 1462.03010号 丹尼尔·李卡塔(Daniel R.Licata)。;伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。;溅出物,Bas 20 2018 拓扑中立方体类型理论建模的公理。 Zbl 1509.03054号 伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。 15 2018 分解单价公理。 兹比尔1528.03110 伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。 1 2018 拓扑中立方体类型理论建模的公理。 Zbl 1370.03016号 伊恩·奥尔顿;安德鲁·皮特斯(Andrew M.Pitts)。 15 2016 所有引用出版物 前5名被引用出版物 全部的 前5名45位作者引用 6 安德鲁·皮特斯(Andrew M.Pitts)。 5 可口、蒂埃里 5 克里斯蒂安·萨特勒 4 伊恩·奥尔顿 三 Lars Birkedal公司 三 尼古拉·甘比诺 三 碧姬·品特卡 三 上村,太极 2 卡洛·安吉利 2 拉纳德·A·克鲁斯顿。 2 丹尼尔·格拉泽 2 罗伯特·哈珀 2 胡杰森Z.S。 2 西蒙·胡贝尔 2 卡夫沃斯,G.A。 2 安德斯·莫特伯格 2 乌尔里希·舍普 2 溅出物,Bas 2 乔纳森·斯特林 2 安德鲁·斯旺。 2 本诺·范登伯格 2 安德烈亚·维佐西 1 安德烈亚斯·阿贝尔。 1 丹尼尔·安尼科夫 1 阿列舍·比兹亚克 1 西蒙·博利埃 1 纪尧姆·布鲁内里 1 保罗·卡普里奥蒂 1 埃文·卡瓦洛 1 丹·弗鲁明 1 汉斯·布格·格雷斯沃尔 1 西蒙·亨利 1 Hou(Favonia)、Kuen-Bang 1 瓦列里·伊萨耶夫 1 张俊英 1 克劳斯,尼古拉 1 马可·费德里科·拉雷阿 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 巴赛尔·曼纳 1 莫格尔贝里,拉斯穆斯·埃杰勒斯 1 安德烈亚斯·努伊茨 1 艾米丽·里尔 1 费比安·鲁奇 1 南卡罗来纳州斯坦坎普。 1 尼古拉斯·塔巴雷奥 全部的 前5名11篇连载文章中引用 11 MSCS公司。计算机科学中的数学结构 8 计算机科学中的逻辑方法 2 函数编程杂志 1 《伦敦数学学会通报》 1 伦敦数学学会杂志。第二系列 1 纯粹与应用代数杂志 1 符号逻辑杂志 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 Indagationes Mathematicae公司。新系列 1 ACM计算逻辑汇刊 在4个字段中引用 28 数学逻辑和基础(03-XX) 18 范畴理论;同调代数(18-XX) 17 代数拓扑(55-XX) 9 计算机科学(68至XX) 按年份列出的引文