
"Extending obstructions to noncommutative
functorial spectra"
[pdf]
[preprint]
[journal]

"Categories of quantum and classical
channels (extended abstract)"
[pdf]
[preprint]
[proceedings]

"Piecewise Boolean algebras and their domains"
[pdf]
[preprint]
[proceedings]

"Characterizations of categories of
commutative C*subalgebras"
[pdf]
[preprint]
[journal]

"All joint measurability structures are
quantum realizable"
[pdf]
[preprint]
[journal]

"Active lattices determine AW*algebras"
[pdf]
[preprint]
[journal]

"Quantum theory realises all joint
measurability graphs"
[pdf]
[preprint]
[journal]

"Matrix multiplication is determined by
orthogonality and trace"

"On the functor l^{2}"
[pdf]
[preprint]
[book]

"Compositional quantum logic"
[pdf]
[preprint]
[book]

"Diagonalizing matrices over AW*algebras"
[pdf]
[preprint]
[journal]

"Relative Frobenius algebras are groupoids"
[pdf]
[preprint]
[journal]

"Pictures of complete positivity in
arbitrary dimension"
[pdf]
[preprint]
[proceedings]

"Completely positive classical
structures and sequentializable quantum protocols"
[pdf]
[preprint]
[proceedings]

"Nogo theorems for functorial localic
spectra of noncommutative rings"
[pdf]
[preprint]
[proceedings]

"H*algebras and nonunital Frobenius
algebras: first steps in infinitedimensional categorical
quantum mechanics"
[pdf]
[preprint]
[book]

"Entangled and sequential quantum
protocols with dephasing"
, 2012
[pdf]
[preprint]
[journal]

"Complementarity in categorical quantum mechanics"
[pdf]
[preprint]
[journal]

"Noncommutativity as a colimit"
20(4):393414, 2012
[pdf]
[preprint]
[journal]
[erratum]

"Bohrification of operator algebras
and quantum logic"
[pdf]
[preprint]
[journal]

"The Gelfand spectrum of a
noncommutative C*algebra: a topostheoretic
approach"
[pdf]
[preprint]
[journal]

"Bohrification"
[pdf]
[preprint]
[book]

"Quantum logic in
dagger kernel categories"
[pdf]
[preprint]
[journal]

"Coalgebraic components
in a manysorted microcosm"
[pdf]
[proceedings]

"Intuitionistic quantum logic
of an nlevel system"
[pdf]
[preprint]
[journal]

"Quantum logic in
dagger kernel categories"
[pdf]
[preprint]
[proceedings]

"A topos for algebraic
quantum theory"
[pdf]
[preprint]
[journal]

"Categorical semantics for
Arrows"
[pdf]
[journal]

"An embedding theorem for
Hilbert categories"
[pdf]
[preprint]
[journal]

"Semimodule enrichment"
[pdf]
[proceedings]

"Compactly accessible categories and
quantum key distribution"
[pdf]
[journal]

"The principle of general
tovariance"
[pdf]
[discussion]
[preprint]
[proceedings]

"Arrows, like Monads,
are Monoids"
[pdf]
[proceedings]

"Accurate silhouettes 
do polyhedral models suffice?"
[pdf]
[proceedings]