research
∙
03/06/2023
Simple Complete Equational Theories for Quantum Circuits with Ancillae or Partial Trace
Although quantum circuits have been ubiquitous for decades in quantum co...
share
research
∙
04/25/2022
LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits
We introduce the LOv-calculus, a graphical language for reasoning about ...
research
∙
01/23/2022
Quantum Expectation Transformers for Cost Analysis
We introduce a new kind of expectation transformer for a mixed classical...
research
∙
03/02/2021
Coherent control and distinguishability of quantum channels via PBS-diagrams
We introduce a graphical language for coherent control of general quantu...
research
∙
07/07/2020
Colored props for large scale graphical reasoning
The prop formalism allows representation of processes withstring diagram...
research
∙
02/21/2020
PBS-calculus: A Graphical Language for Quantum-Controlled Computations
We introduce the PBS-calculus to represent and reason on quantum computa...
research
∙
10/21/2019
Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
Inductive datatypes in programming languages allow users to define usefu...
research
∙
03/13/2019
Completeness of the ZX-Calculus
The ZX-Calculus is a graphical language for diagrammatic reasoning in qu...
research
∙
09/26/2017