@article{angiuli-2021-syntax, title={Syntax and models of Cartesian cubical type theory}, volume={31}, ISSN={1469-8072}, url={http://dx.doi.org/10.1017/s0960129521000347}, DOI={10.1017/s0960129521000347}, number={4}, journal={Mathematical Structures in Computer Science}, publisher={Cambridge University Press (CUP)}, author={Angiuli, Carlo and Brunerie, Guillaume and Coquand, Thierry and Harper, Robert and Hou (Favonia), Kuen-Bang and Licata, Daniel R.}, year={2021}, month=Apr, pages={424–468} }