Unifying Cubical Models of Univalent Type Theory
From MaRDI portal
Publication:5874200
DOI10.4230/LIPIcs.CSL.2020.14OpenAlexW3003698201MaRDI QIDQ5874200
Anders Mörtberg, Evan Cavallo, Andrew Swan
Publication date: 7 February 2023
Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2020/11657/pdf/LIPIcs-CSL-2020-14.pdf/
Related Items (5)
Cubical methods in homotopy type theory and univalent foundations ⋮ Finitary type theories with and without contexts ⋮ Unnamed Item ⋮ Induced model structures for higher categories ⋮ Syntax and models of Cartesian cubical type theory
This page was built for publication: Unifying Cubical Models of Univalent Type Theory