1. A categorical semantics of quantum protocols;Abramsky,2004
2. Abstract physical traces;Abramsky;Theory and Applications of Categories,2005
3. De-linearizing linearity: projective quantum axiomatics from strong compact closure;Coecke;Electronic Notes in Theoretical Computer Science,2007
4. Kindergarten quantum mechanics — lecture notes;Coecke,2005
5. Delbecque, Y. (2005) Internal traces and abstract measurements. Short presentation at the 20th IEEE Symposium on Logic in Computer Science