Piecewise Boolean algebras and their domains by Heunen, C

Categorical quantum models and logics by Heunen, C

Compactly accessible categories and quantum key distribution by Heunen, C

Complementarity in categorical quantum mechanics by Heunen, C

Accurate silhouettes − do polyhedral models suffice? by Heunen, C

Characterizations of categories of commutative C*−subalgebras by Heunen, C

An embedding theorem for Hilbert categories by Heunen, C

Semimodule enrichment by Heunen, C

On the functor l2 by Heunen, C

Operational theories and categorical quantum mechanics by Abramsky, S, Heunen, C

Operational theories and Categorical quantum mechanics by Abramsky, S, Heunen, C

H*−algebras and nonunital Frobenius algebras: first steps in infinite−dimensional categorical quantum mechanics by Abramsky, S, Heunen, C

Completely positive classical structures and sequentializable quantum protocols by Heunen, C, Boixo, S

Entangled and sequential quantum protocols with dephasing by Boixo, S, Heunen, C

Quantum logic in dagger kernel categories by Heunen, C, Jacobs, B

Quantum logic in dagger kernel categories by Heunen, C, Jacobs, B

Matrix multiplication is determined by trace and orthogonality by Heunen, C, Horseman, C

Active lattices determine AW*−algebras by Heunen, C, Reyes, M

Diagonalizing matrices over AW*-algebras by Heunen, C, Reyes, M

Diagonalizing matrices over AW*−algebras by Heunen, C, Reyes, M