Concepedia

Guillaume Brunerie

GB

Statistics

Publications

4

Citations

97

H-Index

4

Active since

2015

Affiliations

Wesleyan University(Current)

Laboratoire Jean-Alexandre Dieudonné

Stockholm University

Guillaume Brunerie is an author at Wesleyan University specializing in natural sciences, mathematics, and topology.

Publications per year

2015–2022

4

Publications

4

A Cubical Approach to Synthetic Homotopy Theory

Daniel R. Licata, Guillaume Brunerie · 2015 · 31 citations

, , +12

Syntax and models of Cartesian cubical type theory

Carlo Angiuli, Guillaume Brunerie, Thierry Coquand et al. · Mathematical Structures in Computer Science · 2021 · 28 citations · Full text

, , +15

On the homotopy groups of spheres in homotopy type theory

Guillaume Brunerie · arXiv (Cornell University) · 2016 · 27 citations · Full text

, , +13

Synthetic Integral Cohomology in Cubical Agda

Guillaume Brunerie · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2022 · 11 citations · Full text

, , +14

1–4 of 4