Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi. - Kayo Tei; Haruto Mishina; Naoki Yamamoto; Kazunori Ueda (PADL, 2026)