Mathys Rennela

Latest

• Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
• Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
• Classical Control and Quantum Circuits in Enriched Category Theory