Noé Delorme, Simon Perdrix. Diagrammatic Reasoning with Control as a Constructor, Applications to Quantum Circuits. In Nathalie Bertrand 0001, Stefan Milius, editors, Foundations of Software Science and Computation Structures - 29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings. Volume 16503 of Lecture Notes in Computer Science, pages 240-261, Springer, 2026. [doi]
Abstract is missing.