Unifying Cubical Models of Univalent Type Theory.

Evan Cavallo, Anders Mrtberg, Andrew W. Swan

Browse the full CSL paper archive.