Voevodsky’s Univalence Axiom in Homotopy Type Theory
From MaRDI portal
Publication:3193040
DOI10.1090/noti1043zbMath1337.03014arXiv1302.4731WikidataQ114009917 ScholiaQ114009917MaRDI QIDQ3193040
Álvaro Pelayo, Michael A. Warren, Steven Awodey
Publication date: 14 October 2015
Published in: Notices of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1302.4731
DB lookup for MSC labels failed