Nombre de documents

4

CV de Guillaume Brunerie


Ouvrage (y compris édition critique et traduction)1 document

  • Peter Aczel, Benedikt Ahrens, Thorsten Altenkirch, Steve Awodey, Bruno Barras, et al.. Homotopy Type Theory: Univalent Foundations of Mathematics. Aucun, pp.448, 2013. <hal-00935057>

Vidéo1 document

  • Guillaume Brunerie, Fanny Bastien, Jérémy Magnien. Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence : Inter'actions 2015. 2015. <medihal-01346862>

Communication dans un congrès2 documents

  • Daniel Licata, Guillaume Brunerie. A Cubical Approach to Synthetic Homotopy Theory. 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2015, Kyoto, Japan. <10.1109/LICS.2015.19>. <hal-01322397>
  • Daniel Licata, Guillaume Brunerie. π_n(S^n) in Homotopy Type Theory. Certified Programs and Proofs, Dec 2013, Melbourne, Australia. <10.1007/978-3-319-03545-1_1>. <hal-01322405>