%0 Conference Paper %1 conf/cpp/WeideRAN24 %A van der Weide, Niels %A Rasekh, Nima %A Ahrens, Benedikt %A North, Paige Randall %B CPP %D 2024 %E Timany, Amin %E Traytel, Dmitriy %E Pientka, Brigitte %E Blazy, Sandrine %I ACM %K dblp %P 246-259 %T Univalent Double Categories. %U http://dblp.uni-trier.de/db/conf/cpp/cpp2024.html#WeideRAN24

@inproceedings{conf/cpp/WeideRAN24, added-at = {2024-01-11T00:00:00.000+0100}, author = {van der Weide, Niels and Rasekh, Nima and Ahrens, Benedikt and North, Paige Randall}, biburl = {https://www.bibsonomy.org/bibtex/2bf0fc4f1d28ded0ec75eb6c2f29cc70d/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2024}, editor = {Timany, Amin and Traytel, Dmitriy and Pientka, Brigitte and Blazy, Sandrine}, ee = {https://doi.org/10.1145/3636501.3636955}, interhash = {29b416f732ebf950d889b97edda3e1d5}, intrahash = {bf0fc4f1d28ded0ec75eb6c2f29cc70d}, keywords = {dblp}, pages = {246-259}, publisher = {ACM}, timestamp = {2024-04-09T22:48:37.000+0200}, title = {Univalent Double Categories.}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2024.html#WeideRAN24}, year = 2024 }