Guillaume Brunerie - Author Profile

Edit Profile

Brunerie, Guillaume

Author ID:	brunerie.guillaume
Published as:	Brunerie, Guillaume
Homepage:	https://guillaumebrunerie.github.io/
External Links:	MGP · Google Scholar · dblp

Documents Indexed:	5 Publications since 2009
	1 Further Contribution
Co-Authors:	6 Co-Authors with 5 Joint Publications
	144 Co-Co-Authors

all top 5

1	single-authored
3	Licata, Daniel R.
2	Angiuli, Carlo
2	Coquand, Thierry
2	Harper, Robert
2	Hou (Favonia), Kuen-Bang
1	Aczel, Peter
1	Ahrens, Benedikt
1	Altenkirch, Thorsten
1	Avigad, Jeremy
1	Awodey, Steve
1	Barras, Bruno
1	Bauer, Andrej
1	Bertot, Yves
1	Bezem, Marc
1	Bordg, Anthony
1	Cohen, Cyril
1	Constable, Robert Lee
1	Curien, Pierre-Louis
1	Dybjer, Peter
1	Finster, Eric
1	Gambino, Nicola
1	Garner, Richard
1	Gonthier, Georges
1	Grayson, Daniel Richard
1	Hales, Thomas Callister
1	Herbelin, Hugo
1	Hofmann, Martin
1	Hofstra, Pieter J. W.
1	Hötzel Escardó, Martín
1	Joyal, André
1	Kapulkin, Krzysztof
1	Kock, Joachim
1	Kraus, Nicolai
1	Le Bras, Arthur-César
1	Li, Nuo
1	Licata, Dan
1	Lumsdaine, Peter LeFanu
1	Luo, Zhaohui
1	Mahboubi, Assia
1	Martin-Löf, Per
1	Melikhov, Sergey Aleksandrovich
1	Nahas, Michael
1	Palmgren, Erik
1	Pelayo, Alvaro
1	Polonsky, Andrew
1	Riehl, Emily
1	Rijke, Egbert
1	Scott, Dana Stewart
1	Scott, Philip J.
1	Shulman, Michael A.
1	Sojakova, Kristina
1	Solov’ëv, Sergeĭ Vladimirovich
1	Sozeau, Matthieu
1	Spitters, Bas
1
1	Van den Berg, Benno
1	Voevodskiĭ, Vladimir Aleksandrovich
1	Warren, Michael Alton
1	Zeilberger, Noam

1	Journal of Automated Reasoning
1	MSCS. Mathematical Structures in Computer Science
1	Quadrature

5	Mathematical logic and foundations (03-XX)
4	Algebraic topology (55-XX)
1	Combinatorics (05-XX)
1	Category theory; homological algebra (18-XX)
1	Computer science (68-XX)

5 Publications have been cited 24 times in 20 Documents	Cited by ▼	Year ▼
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program	122	2013
A cubical approach to synthetic homotopy theory. Zbl 1395.55019 Licata, Daniel R.; Brunerie, Guillaume	12	2015
\(\pi _{n }(S ^{n })\) in homotopy type theory. Zbl 1427.03033 Licata, Daniel R.; Brunerie, Guillaume	5	2013
The James construction and \(\pi _4(\mathbb{S}^{3})\) in homotopy type theory. Zbl 1477.03035 Brunerie, Guillaume	4	2019
Syntax and models of Cartesian cubical type theory. Zbl 07460116 Angiuli, Carlo; Brunerie, Guillaume; Coquand, Thierry; Harper, Robert; Hou (Favonia), Kuen-Bang; Licata, Daniel R.	3	2021
Syntax and models of Cartesian cubical type theory. Zbl 07460116 Angiuli, Carlo; Brunerie, Guillaume; Coquand, Thierry; Harper, Robert; Hou (Favonia), Kuen-Bang; Licata, Daniel R.	3	2021
The James construction and \(\pi _4(\mathbb{S}^{3})\) in homotopy type theory. Zbl 1477.03035 Brunerie, Guillaume	4	2019
A cubical approach to synthetic homotopy theory. Zbl 1395.55019 Licata, Daniel R.; Brunerie, Guillaume	12	2015
Homotopy type theory. Univalent foundations of mathematics. Zbl 1298.03002 The Univalent Foundations Program	122	2013
\(\pi _{n }(S ^{n })\) in homotopy type theory. Zbl 1427.03033 Licata, Daniel R.; Brunerie, Guillaume	5	2013

all top 5

all top 5

3	MSCS. Mathematical Structures in Computer Science
3	Logical Methods in Computer Science
2	Journal of Automated Reasoning
1	Bulletin of the American Mathematical Society. New Series
1	Indagationes Mathematicae. New Series
1	Journal of Functional Programming
1	Documenta Mathematica
1	ACM Transactions on Computational Logic
1	Mediterranean Journal of Mathematics
1	Higher Structures

all top 5

17	Mathematical logic and foundations (03-XX)
13	Algebraic topology (55-XX)
8	Computer science (68-XX)
5	Category theory; homological algebra (18-XX)
1	Algebraic geometry (14-XX)
1	Nonassociative rings and algebras (17-XX)