

@article{Struth23,
  author  = {G. Struth},
  title   = {Catoids, Categories, Groupoids},
  journal = {Archive of Formal Proofs},
  month   = {August},
  year    = {2023},
  note    = {\url{https://isa-afp.org/entries/Catoids.html},
             Formal proof development},
  ISSN    = {2150-914x},
}

@article{Struth18,
  author  = {G. Struth},
  title   = {Quantales},
  journal = {Archive of Formal Proofs},
  month   = {December},
  year    = {2018},
  note    = {\url{https://isa-afp.org/entries/Quantales.html},
             Formal proof development},
  ISSN    = {2150-914x},
}

@article{CalkS23,
  author  = {C. Calk and G. Struth},
  title   = {Modal quantales, involutive quantales, {D}edekind Quantales},
  journal = {Archive of Formal Proofs},
  month   = {July},
  year    = {2023},
  note    = {\url{https://isa-afp.org/entries/Quantales_Converse.html},
             Formal proof development},
  ISSN    = {2150-914x},
}

@article{CalkGMS22,
  author       = {C. Calk and
                  E. Goubault and
                  P. Malbos and
                  G. Struth},
  title        = {Algebraic coherent confluence and higher globular {K}leene algebras},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {18},
  number       = {4},
  year         = {2022},
  url          = {https://doi.org/10.46298/lmcs-18(4:9)2022},
  doi          = {10.46298/LMCS-18(4:9)2022},
  timestamp    = {Tue, 24 Jan 2023 10:48:24 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/CalkGMS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{CalkMPS23,
  author       = {C. Calk and
                  P. Malbos and
                  D. Pous and
                  G. Struth},
  title        = {Higher Catoids, Higher Quantales and their Correspondences},
  journal      = {CoRR},
  volume       = {abs/2307.09253},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.09253},
  doi          = {10.48550/ARXIV.2307.09253},
  eprinttype    = {arXiv},
  eprint       = {2307.09253},
  timestamp    = {Tue, 25 Jul 2023 16:04:08 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-09253.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

