Complete positivity and natural representation of quantum computations by Rennela, M, Staton, S

Classical control, quantum circuits and linear logic in enriched category theory by Rennela, M, Staton, S

Classical control and quantum circuits in enriched category theory by Rennela, M, Staton, S

Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras by Rennela, M, Staton, S, Furber, R