References

  1. Thorsten Altenkirch & Jonathan Grattage (2005): A functional quantum programming language. In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science, 2005.. IEEE, pp. 249–258, doi:10.1109/LICS.2005.1.
  2. W. Arveson (1969): Subalgebras of C^*-algebras. Acta Math 123, pp. 141–224, doi:10.1007/BF02392388.
  3. V. P. Belavkin & P. Staszewski (1986): Radon-Nikodym theorem for completely positive maps. Reports on Mathematical Physics 24(1), pp. 49–55, doi:10.1016/0034-4877(86)90039-X.
  4. D. Deutsch (1985): Quantum theory, the Church-Turing Principle and the universal quantum computer. Proc. Roy. Soc. Lond. A 400, pp. 97, doi:10.1098/rspa.1985.0070.
  5. D. Deutsch & R. Jozsa (1992): Rapid solution of problems by quantum computation. Proc. Roy. Soc. Lond. A 439, pp. 553, doi:10.1098/rspa.1992.0167.
  6. J. C. Garrison & R. Y. Chiao (2008): Quantum Optics. Oxford University Press, doi:10.1093/acprof:oso/9780198508861.001.0001.
  7. A. Yu. Kitaev, A. H. Shen & M. N. Vyalyi. (2002): Classical and quantum computation. Graduate Studies in Mathematics. American Mathematical Society, Providence, RI.
  8. K. Kraus (1983): States, Effects and Operations. Lecture Notes in Physics 190. Springer-Verlag, doi:10.1007/3540127321_22.
  9. M. Nielsen & I. Chuang (2000): Quantum Computation and Quantum Information. Cambridge University Press.
  10. Maxim Raginsky (2003): Radon-Nikodym derivatives of quantum operations. Journal of Mathematical Physics 44(11), pp. 5003–5020, doi:10.1063/1.1615697.
  11. Peter Selinger (2004): Towards a Quantum Programming Language. Mathematical Structures in Computer Science 14(4), pp. 527–586, doi:10.1017/S0960129504004256.
  12. Mingsheng Ying (2014): Quantum Recursion and Second Quantisation. Available on the arXiv 1405.4443.
  13. Mingsheng Ying, Nengkun Yu & Yuan Feng (2014): Alternation on quantum programming: from superposition of data to superposition of programs. Available in arXiv as 1402.5172.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org