编辑配置文件(在新选项卡中打开) 纪尧姆·布鲁内利 合著者距离 作者ID: 布鲁内里·尤兰姆 发布日期: 纪尧姆·布鲁内利 主页: https://guillaumebrunerie.egithub.io/ 外部链接: MGP公司·谷歌学者·数据库许可证 编入索引的文档: 7出版物自2009年起,包括1个附加arXiv预打印 1进一步贡献 合著者: 8位合著者具有6联合出版物 161联合作者 全部的 前5名合著者 2 单作者的 三 丹尼尔·李卡塔(Daniel R.Licata)。 2 卡洛·安吉利 2 可口、蒂埃里 2 罗伯特·哈珀 2 Hou(Favonia)、Kuen-Bang 1 彼得·阿策尔 1 阿伦斯,贝内迪克特 1 托尔斯滕阿尔滕基奇 1 杰里米·阿维加德 1 史蒂夫·阿沃迪 1 布鲁诺·巴拉斯 1 安德烈·鲍尔 1 伊夫·贝托特 1 马克·贝泽姆 1 安东尼·博尔吉 1 西里尔·科恩 1 罗伯特·李,警察 1 皮埃尔·卢伊斯·居里 1 彼得·戴比杰 1 埃里克·芬斯特 1 尼古拉·甘比诺 1 理查德·加纳 1 乔治·戈蒂尔 1 丹尼尔·理查德·格雷森 1 托马斯·卡利斯特·黑尔斯 1 雨果·赫贝林 1 马丁·霍夫曼 1 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 1 Hötzel Escardó,马汀 1 安德烈·乔亚尔 1 Krzysztof卡普尔金 1 约阿希姆·科克 1 尼古拉·克劳斯 1 Le Bras,Arthur-César公司 1 李诺 1 丹·利卡塔 1 Axel永斯特伦 1 彼得·勒法努·卢姆斯代恩 1 罗朝晖 1 阿西亚·马布比 1 马丁·洛夫(Martin-Löf,Per) 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 Mörtberg,安德斯 1 迈克尔·纳哈斯 1 埃里克·帕尔姆格伦 1 阿尔瓦罗·佩莱奥 1 安德鲁·波伦斯基 1 艾米丽·里尔 1 埃格伯特·里杰克 1 达娜·斯图尔特·斯科特 1 菲利普·斯科特。 1 Michael A.舒尔曼。 1 克里斯蒂娜·索贾科娃 1 索洛夫·弗拉基米洛维奇 1 索索、马蒂厄 1 溅出物,Bas 1 1 本诺·范登伯格 1 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 1 沃伦、迈克尔·奥尔顿 1 诺姆·齐尔伯格 系列 1 自动推理杂志 1 计算机科学中的数学结构 1 正交 领域 6 数学逻辑和基础(03-XX) 5 代数拓扑(55-XX) 2 范畴理论;同调代数(18-XX) 1 组合数学(05-XX) 1 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用27中的次23文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 222 2013 合成同伦理论的立体方法。 Zbl 1395.55019号 丹尼尔·李卡塔(Daniel R.Licata)。;纪尧姆·布鲁内利 14 2015 \同伦类型理论中的(π{n}(S^{n}))。 Zbl 1427.03033号 丹尼尔·李卡塔(Daniel R.Licata)。;纪尧姆·布鲁内利 5 2013 笛卡尔立方类型理论的句法和模型。 Zbl 1529.03123号 卡洛·安吉利;纪尧姆·布鲁内利;可口、蒂埃里;罗伯特·哈珀;Hou(Favonia)、Kuen-Bang;丹尼尔·李卡塔(Daniel R.Licata)。 4 2021 同伦类型理论中的James结构和(pi_4(mathbb{S}^{3})。 Zbl 1477.03035号 纪尧姆·布鲁内利 4 2019 笛卡尔立方类型理论的句法和模型。 Zbl 1529.03123号 卡洛·安吉利;纪尧姆·布鲁内利;可口、蒂埃里;罗伯特·哈珀;Hou(Favonia)、Kuen-Bang;丹尼尔·李卡塔(Daniel R.Licata)。 4 2021 同伦类型理论中的James结构和(pi_4(mathbb{S}^{3})。 Zbl 1477.03035号 纪尧姆·布鲁内利 4 2019 合成同伦理论的立体方法。 Zbl 1395.55019号 丹尼尔·李卡塔(Daniel R.Licata)。;纪尧姆·布鲁内利 14 2015 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 222 2013 \(π_{n}(S^{n})\)。 Zbl 1427.03033号 丹尼尔·李卡塔(Daniel R.Licata)。;纪尧姆·布鲁内利 5 2013 所有引用出版物 前5名被引用出版物 全部的 前5名被35位作者引用 4 丹尼尔·李卡塔(Daniel R.Licata)。 三 卡洛·安吉利 三 乌尔里克·巴赫霍尔茨 三 罗伯特·哈珀 三 Mörtberg,安德斯 2 纪尧姆·布鲁内利 2 可口、蒂埃里 2 Hou(Favonia)、Kuen-Bang 2 詹博华 1 安德烈亚斯·阿贝尔。 1 布鲁诺·本岑 1 雅克·卡雷特 1 吉安卢卡·卡特琳娜 1 陈朝红 1 维克拉曼·乔杜里 1 西里尔·科恩 1 Devalapurkar,萨纳特 1 恒河、洛克 1 丹尼尔·理查德·格雷森 1 彼得·海恩。 1 西蒙·胡贝尔 1 爱德华·莫尔豪斯 1 新,Max S。 1 斯特凡诺·皮切赫罗 1 埃格伯特·里杰克 1 阿穆尔·萨布里 1 Michael A.舒尔曼。 1 克里斯蒂娜·索贾科娃 1 安德鲁·斯旺。 1 费尔南多·托梅。 1 范德维德,尼尔斯 1 弗洛里斯·范·道恩 1 尼科洛·维尔特里 1 安德烈亚·维佐西 1 雅各布·冯·劳默 全部的 前5名10篇连载文章中引用 三 计算机科学中的数学结构 三 计算机科学中的逻辑方法 2 自动推理杂志 2 函数编程杂志 1 美国数学学会公报。新系列 1 Indagationes Mathematicae公司。新系列 1 Documenta Mathematica公司 1 ACM计算逻辑事务 1 地中海数学杂志 1 高层建筑 全部的 前5名在6个字段中引用 19 数学逻辑和基础(03-XX) 17 代数拓扑(55-XX) 9 范畴理论;同调代数(18-XX) 9 计算机科学(68至XX) 1 代数几何(14-XX) 1 群论与推广(20-XX) 按年份列出的引文