Simon Perdrix

Latest

• Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
• Abstract Interpretation Techniques for Quantum Computation
• Extended Measurement Calculus