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]

Abstract

Abstract is missing.