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 …

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 …

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

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 …

The notions of causality adopted within the quantum information and space-time physics
communities are distinct. Although experience tells us that these notions play together in a …

Bidirectional data accessors such as lenses, prisms and traversals are all instances of the
same general'optic'construction. We give a careful account of this construction and show that …