workshops 4 A hybrid and reversible quantum language Jul 14, 2025 From Lambda Calculus to Quantum Circuits Through the Geometry of Interaction Sep 11, 2024 The Many-Worlds Calculus Jul 17, 2023 The Many-Worlds Calculus Jul 27, 2022