Preface: Special Issue on Homotopy Type Theory and Univalent Foundations
Keyword(s):
2021 ◽
Vol 31
(1)
◽
pp. 1-2
Keyword(s):
2015 ◽
Vol 25
(5)
◽
pp. 1005-1009
Keyword(s):
2014 ◽
Vol 51
(4)
◽
pp. 597-648
◽
2015 ◽
Vol 25
(5)
◽
pp. 1172-1202
◽
Keyword(s):
Keyword(s):
2021 ◽
Vol 31
(4)
◽
pp. 361-362