Guillaume Brunerie

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 6

Top Topics

Theoretical Basis

Computational Model

Top Venues

Math. Struct. Comput. Sci.

Publications

Guillaume Brunerie, Axel Ljungström, Anders Mörtberg
Synthetic Integral Cohomology in Cubical Agda. CSL (2022)
Carlo Angiuli, Guillaume Brunerie, Thierry Coquand, Robert Harper, Kuen-Bang Hou (Favonia), Daniel R. Licata
Syntax and models of Cartesian cubical type theory. Math. Struct. Comput. Sci. 31 (4) (2021)
Guillaume Brunerie
) in Homotopy Type Theory. J. Autom. Reason. 63 (2) (2019)
Guillaume Brunerie
) in homotopy type theory. CoRR (2017)
Guillaume Brunerie
On the homotopy groups of spheres in homotopy type theory. CoRR (2016)
Daniel R. Licata, Guillaume Brunerie
A Cubical Approach to Synthetic Homotopy Theory. LICS (2015)
Daniel R. Licata, Guillaume Brunerie
π n (S n ) in Homotopy Type Theory. CPP (2013)