Publications HAL de Per,Martin-Lof

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
BibTex