contradiction », Pour la science, mars 2019, p. 78-83. (en) « Homotopy Type Theory », sur Homotopy Type Theory, WordPresscom, 20 mars 2011 (consulté le 19 juin
Rational Homotopy Theory and Differential Forms, Boston, Birkhäuser, 1981 (ISBN 3-7643-3041-4) 1978: (en) avec Joe Harris (mathématicien), Principles of Algebraic
und projektiven Räume in der Topologie. Witold Hurewicz: Homology and Homotopy. Shizuo Kakutani: Ergodic Theory. Marston Morse: Recent Advances in Variational
Nederpelt et Geuvers 2014, p. 123 (en) The Univalent Foundations Program, Homotopy Type Theory: Univalent Foundations of Mathematics, Institute for Advanced
and Philosophy of Logic, 23 (2): 77–94. Awodey, S. & Warren, M., 2009, “Homotopy theoretic Models of Identity Types”, Mathematical Proceedings of the Cambridge