%0 Conference Paper %1 conf/fossacs/NewL23 %A New, Max S. %A Licata, Daniel R. %B FoSSaCS %D 2023 %E Kupferman, Orna %E Sobocinski, Pawel %I Springer %K dblp %P 113-134 %T A Formal Logic for Formal Category Theory. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2023.html#NewL23 %V 13992 %@ 978-3-031-30829-1

@inproceedings{conf/fossacs/NewL23, added-at = {2023-05-17T00:00:00.000+0200}, author = {New, Max S. and Licata, Daniel R.}, biburl = {https://www.bibsonomy.org/bibtex/2e199439717a01b23e69207cf89722582/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2023}, editor = {Kupferman, Orna and Sobocinski, Pawel}, ee = {https://doi.org/10.1007/978-3-031-30829-1_6}, interhash = {b273651f138f3285531669c8f6d20646}, intrahash = {e199439717a01b23e69207cf89722582}, isbn = {978-3-031-30829-1}, keywords = {dblp}, pages = {113-134}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:25:35.000+0200}, title = {A Formal Logic for Formal Category Theory.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2023.html#NewL23}, volume = 13992, year = 2023 }