discopy.bib

@article{DelpeuchVicary22,
  title = {Normalization for Planar String Diagrams and a Quadratic Equivalence Algorithm},
  author = {Delpeuch, Antonin and Vicary, Jamie},
  date = {2022},
  journaltitle = {Logical Methods in Computer Science},
  shortjournal = {Log. Methods Comput. Sci.},
  volume = {18},
  number = {1},
  doi = {10.46298/lmcs-18(1:10)2022}
}

@article{Selinger10,
  title = {A {{Survey}} of {{Graphical Languages}} for {{Monoidal Categories}}},
  author = {Selinger, P.},
  date = {2010},
  journaltitle = {New Structures for Physics},
  pages = {289--355},
  doi = {10.1007/978-3-642-12821-9_4},
  keywords = {18D10,Mathematics - Category Theory},
  file = {/Users/alexis.toumi/WORK/Zotero/storage/3HSB2T6D/Selinger - 2010 - A survey of graphical languages for monoidal categ.pdf;/Users/alexis.toumi/WORK/Zotero/storage/VGWGBWBQ/0908.html}
}