Deconstructing the Calculus of Relations with Tape Diagrams

Filippo Bonchi, Alessandro Di Giorgio 0002, Alessio Santamaria. Deconstructing the Calculus of Relations with Tape Diagrams. Proceedings of the ACM on Programming Languages, 7(POPL):1864-1894, January 2023. [doi]

@article{BonchiGS23,
  title = {Deconstructing the Calculus of Relations with Tape Diagrams},
  author = {Filippo Bonchi and Alessandro Di Giorgio 0002 and Alessio Santamaria},
  year = {2023},
  month = {January},
  doi = {10.1145/3571257},
  url = {https://doi.org/10.1145/3571257},
  researchr = {https://researchr.org/publication/BonchiGS23},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {7},
  number = {POPL},
  pages = {1864-1894},
}