2013
Ouvrages
ref_biblio
Peter Aczel, Benedikt Ahrens, Thorsten Altenkirch, Steve Awodey, Bruno Barras, et al.. Homotopy Type Theory: Univalent Foundations of Mathematics.
The Univalent Foundations Program Institute for Advanced Study
, pp.1--587, 2013.
⟨hal-00935057⟩
Accès au bibtex