B Coecke,
R Duncan - International Colloquium on Automata, Languages …, 2008 - Springer
We formalise the constructive content of an essential feature of quantum mechanics: the
interaction of complementary quantum observables, and information flow mediated by them …