Benoît Valiron

Latest

• Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
• Formal Methods for Quantum Programs: A Survey
• Geometry of Interaction for ZX-Diagrams
• An Automated Deductive Verification Framework for Circuit-Building Quantum Programs
• Realizability in the Unitary Sphere
• From Symmetric Pattern-Matching to Quantum Control
• The Geometry of Parallelism: Classical, Probabilistic, and Quantum Effects
• Programming the Quantum Future
• Applying Quantitative Semantics to Higher-Order Quantum Computing
• An Introduction to Quantum Programming in Quipper
• Quipper: A Scalable Quantum Programming Language
• Quantum Lambda Calculus
• A Lambda Calculus for Quantum Computation with Classical Control