Evan Cavallo, Anders Mörtberg, Andrew W. Swan. Unifying Cubical Models of Univalent Type Theory. In Maribel Fernández, Anca Muscholl, editors, 28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain. Volume 152 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.