Update bib

papers/symmetries.bib

@@ -166,6 +166,16 @@ @inproceedings{bentonLinearLcalculusCategorical1993
   keywords = {Categorical Model,Intuitionistic Logic,Linear Logic,Monoidal Category,Natural Deduction}
 }
 
+@book{birdAlgebraProgramming1997,
+  title = {Algebra of Programming},
+  author = {Bird, Richard and family=Moor, given=Oege, prefix=de, useprefix=true},
+  date = {1997},
+  publisher = {{Prentice-Hall, Inc.}},
+  location = {{USA}},
+  isbn = {978-0-13-507245-5},
+  pagetotal = {295}
+}
+
 @article{birkhoffStructureAbstractAlgebras1935,
   title = {On the {{Structure}} of {{Abstract Algebras}}},
   author = {Birkhoff, Garrett},
@@ -688,6 +698,21 @@ @article{fioreRelativePseudomonadsKleisli2018
   keywords = {18C20,18D05,18D50}
 }
 
+@article{foxCoalgebrasCartesianCategories1976,
+  title = {Coalgebras and Cartesian Categories},
+  author = {Fox, Thomas},
+  date = {1976-01-01},
+  journaltitle = {Communications in Algebra},
+  volume = {4},
+  number = {7},
+  pages = {665--667},
+  publisher = {{Taylor \& Francis}},
+  issn = {0092-7872},
+  doi = {10.1080/00927877608822127},
+  url = {https://doi.org/10.1080/00927877608822127},
+  urldate = {2024-02-29}
+}
+
 @inproceedings{fruminFiniteSetsHomotopy2018,
   title = {Finite Sets in Homotopy Type Theory},
   booktitle = {Proceedings of the 7th {{ACM SIGPLAN International Conference}} on {{Certified Programs}} and {{Proofs}}},