@book(adamekabstract1990, ) @article(barglobular2018, doi = {10.23638/LMCS-14(1:8)2018}, ) @article(barvicary2017, doi = {10.1109/lics.2017.8005147}, eprint = {1610.06908}, ) @article(birkhoffrings1937, doi = {10.1215/S0012-7094-37-00334-X}, ) @unpublished(wigglepy, ) @article(quantomatic, doi = {10.1007/s10472-009-9141-x}, eprint = {0902.0514}, ) @article(discopy, doi = {10.48550/arXiv.2005.02975}, eprint = {2005.02975}, ) @article(rewalt, doi = {10.1109/LICS56636.2023.10175726}, eprint = {2304.09216}, ) @misc(heidemannframed2022, doi = {10.48550/arXiv.2305.06288}, ) @article(heidemann2022, doi = {10.1145/3531130.3533352}, eprint = {2205.08952}, ) @article(johnstonenote1999, ) @book(kellybasic1982, ) @article(reutterhighlevel2019, doi = {10.1109/LICS.2019.8785895}, eprint = {1902.03831}, ) @book(riehlcategory2016, ) @article(cartographer, doi = {10.4230/LIPIcs.CALCO.2019.20}, url = {http://drops.dagstuhl.de/opus/volltexte/2019/11448}, ) @article(tarleckifundamental1991, doi = {10.1016/0304-3975(91)90085-G}, url = {https://www.sciencedirect.com/science/article/pii/030439759190085G}, ) @article(wraithusing1993, )