preprint 3 Quantum Term Rewrite Systems: Applications to Complexity Analysis Jul 23, 2026 Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction Feb 20, 2026 The Tensor-Plus Calculus Dec 29, 2025