Publicaciones en las que colabora con Michael A. Warren (1)

2014

  1. Homotopy type theory

    Gazette des Mathematiciens, Núm. 142, pp. 95-110