113 citations · 1.3k across the 83 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014★ 6 cited
Categories of Quantum and Classical Channels (extended abstract)
Bob Coecke, Chris Heunen, Aleks Kissinger
We introduce the CP*-construction on a dagger compact closed category as a generalisation of Selinger's CPM-construction. While the latter takes a dagger compact closed category an…
cs.LO2014★ 5 cited
Piecewise Boolean algebras and their domains
Chris Heunen
We characterise piecewise Boolean domains, that is, those domains that arise as Boolean subalgebras of a piecewise Boolean algebra. This leads to equivalent descriptions of the cat…