Unifying Cubical Models of Univalent Type Theory

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/

zbMATH Keywords

homotopy type theoryunivalent foundationscubical type theorycubical set models

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

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