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]
@inproceedings{CavalloMS20,
title = {Unifying Cubical Models of Univalent Type Theory},
author = {Evan Cavallo and Anders Mörtberg and Andrew W. Swan},
year = {2020},
doi = {10.4230/LIPIcs.CSL.2020.14},
url = {https://doi.org/10.4230/LIPIcs.CSL.2020.14},
researchr = {https://researchr.org/publication/CavalloMS20},
cites = {0},
citedby = {0},
booktitle = {28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain},
editor = {Maribel Fernández and Anca Muscholl},
volume = {152},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-132-0},
}