@article(bew103, author = {Bob Coecke and Chris Heunen and Aleks Kissinger}, year = {2014}, title = {{Categories of Quantum and Classical Channels}}, journal = {Quantum Information Processing}, pages = {1--31}, doi = {10.1007/s11128-014-0837-4}, ) @book(fh, author = {William Fulton and Joe Harris}, year = {1991}, title = {{Representation Theory}}, series = {Graduate Texts in Mathematics}, volume = {129}, publisher = {Springer Science \& Business Media}, doi = {10.1007/978-1-4612-0979-9}, ) @book(gkp, author = {Ronald L. Graham and Donald E. Knuth and Oren Patashnik}, year = {1989}, title = {{Concrete Mathematics}}, publisher = {Massachusetts: Addison-Wesley}, ) @book(hw, author = {G. H. Hardy and E. M. Wright}, year = {1999}, title = {{An Introduction to the Theory of Numbers}}, publisher = {Oxford}, ) @article(bew143, author = {Michele Pagani and Peter Selinger and Benoit Valiron}, year = {2014}, title = {{Applying Quantitative Semantics to Higher-order Quantum Computing}}, journal = {ACM SIGPLAN Notices}, volume = {49}, number = {1}, pages = {647--658}, doi = {10.1145/2535838.2535879}, ) @article(r, author = {Srinivasa Ramanujan}, year = {1918}, title = {{On Certain Trigonometrical Sums and their Applications in the Theory of Numbers}}, journal = {Trans. Cambridge Philos. Soc}, volume = {22}, number = {13}, pages = {259--276}, ) @article(bew121, author = {Peter Selinger}, year = {2004}, title = {{Towards a Quantum Programming Language}}, journal = {Mathematical Structures in Computer Science}, volume = {14}, number = {04}, pages = {527--586}, doi = {10.1017/s0960129504004256}, )