@inproceedings{vanderweide-2024-univalent, series={CPP ’24}, title={Univalent Double Categories}, url={http://dx.doi.org/10.1145/3636501.3636955}, DOI={10.1145/3636501.3636955}, booktitle={Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs}, publisher={ACM}, author={van der Weide, Niels and Rasekh, Nima and Ahrens, Benedikt and North, Paige Randall}, year={2024}, month=Jan, pages={246–259}, collection={CPP ’24} }