Normalization for planar string diagrams and a quadratic equivalence algorithm - Delpeuch, Antonin; Vicary, Jamie (Logical methods in computer science, 2022)
Keywords: computer science - logic in computer science