10 citations · 52 across the 17 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
math.CT2025
From Moore-Penrose to Markov via Gauss
Cole Comfort, Jean-Simon Pacaud Lemay
Markov categories are the central framework for categorical probability theory. Many important concepts from probability theory can be formalized in terms of Markov categories. In…
cs.LO2025
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…