Publications dans lesquelles il/elle collabore avec Michael A. Warren (1)

2014

  1. Homotopy type theory

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