preprint 4 Compiling Quantum Lambda-Terms into Circuits via the Geometry of Interaction Feb 20, 2026 Approximation theory for distant Bang calculus Jan 26, 2026 The Tensor-Plus Calculus Dec 29, 2025 Resource-Aware Hybrid Quantum Programming with General Recursion and Quantum Control Oct 23, 2025