The Univalent Foundations Program. Homotopy Type Theory: Univalent Foundations of Mathematics. http://homotopytypetheory.org/book, Institute for Advanced Study, 2013, vii + 583 pp.
Keyword(s):
2015 ◽
Vol 25
(5)
◽
pp. 1005-1009
Keyword(s):
Keyword(s):
2014 ◽
Vol 51
(4)
◽
pp. 597-648
◽
2021 ◽
Vol 31
(1)
◽
pp. 1-2
Keyword(s):
2015 ◽
Vol 25
(5)
◽
pp. 1172-1202
◽
Keyword(s):
2021 ◽
Vol 31
(4)
◽
pp. 361-362