Quantum computers are expected to surpass the computational capabilities of classical
computers during this decade and have transformative impact on numerous industry sectors …

The meeting between Natural Language Processing (NLP) and Quantum Computing has
been very successful in recent years, leading to the development of several approaches of …

The notions of disintegration and Bayesian inversion are fundamental in conditional
probability theory. They produce channels, as conditional probabilities, from a joint state, or …

We present VOQC, the first fully verified optimizer for quantum circuits, written using the Coq
proof assistant. Quantum circuits are expressed as programs in a simple, low-level language …

CoqQ is a framework for reasoning about quantum programs in the Coq proof assistant. Its
main components are: a deeply embedded quantum programming language, in which …

We introduce DisCoPy, an open source toolbox for computing with monoidal categories. The
library provides an intuitive syntax for defining string diagrams and monoidal functors. Its …

The ZX-calculus is a universal graphical language for qubit quantum computation, meaning
that every linear map between qubits can be expressed in the ZX-calculus. Furthermore, it is …

The foundations of Quantum Mechanics are experiencing a golden age. In a timespan of
less than two decades, an astonishing number of new results, ideas, and frameworks have …

We introduce the theory IH R of interacting Hopf algebras, parametrised over a principal
ideal domain R. The axioms of IH R are derived using Lack's approach to composing …

We provide axioms that guarantee a category is equivalent to that of continuous linear
functions between Hilbert spaces. The axioms are purely categorical and do not presuppose …