De-linearizing linearity: projective quantum axiomatics from strong compact closure (2005)

by B Coecke
Venue:Proc. 3rd Int. Workshop on Quantum Programming Languages, ENTCS