@article{birkedal-2018-guarded, title={Guarded Cubical Type Theory}, volume={63}, ISSN={1573-0670}, url={http://dx.doi.org/10.1007/s10817-018-9471-7}, DOI={10.1007/s10817-018-9471-7}, number={2}, journal={Journal of Automated Reasoning}, publisher={Springer Science and Business Media LLC}, author={Birkedal, Lars and Bizjak, Aleš and Clouston, Ranald and Grathwohl, Hans Bugge and Spitters, Bas and Vezzosi, Andrea}, year={2018}, month=June, pages={211–253} }