105 citations · 325 across the 15 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
quant-ph2017★ 53 cited
A compositional approach to quantum functions
Benjamin Musto, David Reutter, Dominic Verdon
We introduce a notion of quantum function, and develop a compositional framework for finite quantum set theory based on a 2-category of quantum sets and quantum functions. We use t…
quant-ph2017
A classical groupoid model for quantum networks
David J. Reutter, Jamie Vicary
We give a mathematical analysis of a new type of classical computer network architecture, intended as a model of a new technology that has recently been proposed in industry. Our a…
quant-ph2017★ 4 cited
Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
David Reutter, Jamie Vicary
We give a scheme for interpreting shaded tangles as quantum programs, with the property that isotopic tangles yield equivalent programs. We analyze many known quantum programs in t…