10 citations · 52 across the 17 of their papers we have counts for
8 papers · 1 filter
Finite Observations, Infinite Behaviour: bicategorical semantics for stateful monoidal processes
Cole Comfort, Giovanni de Felice
Time-dependent processes are often described by machines with an internal state which is updated as time evolves. An external observer cannot see this state and learns about a proc…
Denotational semantics for stabiliser quantum programs
Robert I. Booth, Cole Comfort
The stabiliser fragment of quantum theory is a foundational building block for quantum error correction and the fault-tolerant compilation of quantum programs. In this article, we…
Complete equational theories for classical and quantum Gaussian relations
Robert I. Booth, Titouan Carette, Cole Comfort
We give generators and relations for the hypergraph props of Gaussian relations and positive affine Lagrangian relations. The former extends Gaussian probabilistic processes by com…
Graphical Symplectic Algebra
Robert I. Booth, Titouan Carette, Cole Comfort
We give complete presentations for the dagger-compact props of affine Lagrangian and coisotropic relations over an arbitrary field. This provides a unified family of graphical lang…
A Graphical Calculus for Lagrangian Relations
Cole Comfort, Aleks Kissinger
Symplectic vector spaces are the phase spaces of linear mechanical systems. The symplectic form describes, for example, the relation between position and momentum as well as curren…
The ZX&-calculus: A complete graphical calculus for classical circuits using spiders
Cole Comfort
We give a complete presentation for the fragment, ZX&, of the ZX-calculus generated by the Z and X spiders (corresponding to copying and addition) along with the not gate and the a…
The Category TOF
J. R. B. Cockett, Cole Comfort
We provide a complete set of identities for the symmetric monoidal category, TOF, generated by the Toffoli gate and computational ancillary bits. We do so by demonstrating that the…
The Category CNOT
Robin Cockett, Cole Comfort, Priyaa Srinivasan
We exhibit a complete set of identities for CNOT, the symmetric monoidal category generated by the controlled-not gate, the swap gate, and the computational ancillae. We prove that…