Michael A. Warren-rekin lankidetzan egindako argitalpenak (1)

2014

  1. Homotopy type theory

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