Filtrer vos résultats
- 3
- 1
- 2
- 1
- 1
- 3
- 3
- 2
- 2
- 3
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
4 résultats
|
|
|
triés par
|
|
|
Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence2015
Vidéo
medihal-01346862v1
|
||
π_n(S^n) in Homotopy Type TheoryCertified Programs and Proofs, Dec 2013, Melbourne, Australia. ⟨10.1007/978-3-319-03545-1_1⟩
Communication dans un congrès
istex
hal-01322405v1
|
|||
|
|
A Cubical Approach to Synthetic Homotopy Theory2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.19⟩
Communication dans un congrès
hal-01322397v1
|
||
Homotopy Type Theory: Univalent Foundations of MathematicsThe Univalent Foundations Program Institute for Advanced Study, pp.1--587, 2013
Ouvrages
hal-00935057v1
|