编辑配置文件(在新选项卡中打开) 纪尧姆·布鲁内里 合著者距离 作者ID: 布鲁内里·尤兰姆 发布日期: 纪尧姆·布鲁内里 主页: https://guillaumebrunerie.egithub.io/ 外部链接: MGP公司·谷歌学者·数据库许可证 已编制索引的文档: 6出版物自2009年起,包括1个附加arXiv预打印 1进一步贡献 合著者: 6位合著者具有5份联合出版物 153位合作作者 全部的 前5名合著者 2 单作者的 三 丹尼尔·李卡塔(Daniel R.Licata)。 2 卡洛·安吉利 2 可口、蒂埃里 2 罗伯特·哈珀 2 侯(法沃尼亚),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 勒布拉斯,亚瑟王塞萨尔 1 李诺 1 丹·利卡塔 1 彼得·勒法努·卢姆斯代恩 1 罗朝晖 1 阿西亚·马布比 1 马丁·洛夫(Martin-Löf,Per) 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 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 MSCS公司。计算机科学中的数学结构 1 正交 字段 5 数学逻辑和基础(03-XX) 5 代数拓扑(55-XX) 2 范畴理论;同调代数(18-XX) 1 组合数学(05-XX) 1 计算机科学(68-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用27中的次23文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 兹比尔1298.03002 单价基金项目 199 2013 合成同伦理论的立体方法。 兹比尔1395.55019 丹尼尔·李卡塔(Daniel R.Licata)。;纪尧姆·布鲁内里 14 2015 \同伦类型理论中的(π{n}(S^{n}))。 Zbl 1427.03033号 丹尼尔·李卡塔(Daniel R.Licata)。;纪尧姆·布鲁内里 5 2013 笛卡尔立方类型理论的句法和模型。 Zbl 07460116号 卡洛·安吉利;纪尧姆·布鲁内里;可口、蒂埃里;罗伯特·哈珀;侯(法沃尼亚),Kuen Bang;丹尼尔·李卡塔(Daniel R.Licata)。 4 2021 同伦类型理论中的James结构和(pi_4(mathbb{S}^{3})。 Zbl 1477.03035号 纪尧姆·布鲁内里 4 2019 笛卡尔立方类型理论的句法和模型。 Zbl 07460116号 卡洛·安吉利;纪尧姆·布鲁内里;可口、蒂埃里;罗伯特·哈珀;侯(法沃尼亚),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 同伦类型理论。数学的单价基础。 兹比尔1298.03002 单价基金项目 199 2013 \同伦类型理论中的(π{n}(S^{n}))。 Zbl 1427.03033号 丹尼尔·李卡塔(Daniel R.Licata)。;纪尧姆·布鲁内里 5 2013 所有引用出版物 前5名被引用出版物 全部的 前5名被35位作者引用 4 丹尼尔·李卡塔(Daniel R.Licata)。 三 卡洛·安吉利 三 乌尔里克·巴赫霍尔茨 三 罗伯特·哈珀 三 安德斯·莫特伯格 2 纪尧姆·布鲁内里 2 可口、蒂埃里 2 侯(法沃尼亚),Kuen Bang 2 詹伯华 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 布鲁诺·本岑 1 雅克·卡雷特 1 吉安卢卡·卡特琳娜 1 陈朝红 1 维克拉曼·乔杜里 1 西里尔·科恩 1 德瓦拉普卡尔,萨那 1 恒河、洛克 1 丹尼尔·理查德·格雷森 1 彼得·海恩。 1 西蒙·胡贝尔 1 爱德华·莫尔豪斯 1 新,Max S。 1 斯特凡诺·皮切赫罗 1 埃格伯特·里杰克 1 阿穆尔·萨布里 1 Michael A.舒尔曼。 1 克里斯蒂娜·索贾科娃 1 安德鲁·斯旺。 1 费尔南多·托梅。 1 范德维德,尼尔斯 1 弗洛里斯·范·道恩 1 尼科洛Veltri 1 安德烈亚·维佐西 1 雅各布·冯·劳默 全部的 前5名10篇连载文章中引用 三 MSCS公司。计算机科学中的数学结构 三 计算机科学中的逻辑方法 2 自动推理杂志 2 函数编程杂志 1 美国数学学会公报。新系列 1 Indagationes Mathematicae公司。新系列 1 Documenta Mathematica公司 1 ACM计算逻辑事务 1 地中海数学杂志 1 高层建筑 在5个字段中引用 19 数学逻辑和基础(03-XX) 16 代数拓扑(55-XX) 10 计算机科学(68-XX) 8 范畴理论;同调代数(18-XX) 1 代数几何(14-XX) 按年份列出的引文