String Diagrams for Closed Symmetric Monoidal Categories. - Callum Reader; Alessandro Di Giorgio 002 (CSL, 2026)