Publications HAL de Per,Martin-Lof

2013

Ouvrage (y compris édition critique et traduction)

ref_biblio
Peter Aczel, Benedikt Ahrens, Thorsten Altenkirch, Steve Awodey, Bruno Barras, et al.. Homotopy Type Theory: Univalent Foundations of Mathematics. Aucun, pp.448, 2013. ⟨hal-00935057⟩
Accès au bibtex
BibTex