311 citations · 1.2k across the 38 of their papers we have counts for
Showing 2013 · math.CTShow all
2 papers · 2 filters
math.CT2013★ 35 cited
Completely positive projections and biproducts
Chris Heunen, Aleks Kissinger, Peter Selinger
The recently introduced CP*-construction unites quantum channels and classical systems, subsuming the earlier CPM-construction in categorical quantum mechanics. We compare this con…
math.CT2013★ 19 cited
Presheaf models of quantum computation: an outline
Octavio Malherbe, Philip Scott, Peter Selinger
This paper outlines the construction of categorical models of higher-order quantum computation. We construct a concrete denotational semantics of Selinger and Valiron's quantum lam…