Guillaume Brunerie

According to our database, Guillaume Brunerie authored at least 6 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Synthetic Integral Cohomology in Cubical Agda.

Guillaume Brunerie, Axel Ljungström, Anders Mörtberg

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Syntax and models of Cartesian cubical type theory.

Carlo Angiuli, Guillaume Brunerie, Thierry Coquand, Robert Harper, Kuen-Bang Hou (Favonia), Daniel R. Licata

Math. Struct. Comput. Sci., 2021

2019

The James Construction and π₄(S³) in Homotopy Type Theory.

Guillaume Brunerie

J. Autom. Reason., 2019

2016

On the homotopy groups of spheres in homotopy type theory.

Guillaume Brunerie

CoRR, 2016

2015

A Cubical Approach to Synthetic Homotopy Theory.

Daniel R. Licata, Guillaume Brunerie

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2013

π n (S n ) in Homotopy Type Theory.

Daniel R. Licata, Guillaume Brunerie

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013