1. Alexandru Baltag & Sonja Smets (2006): LQP: the dynamic logic of quantum information. Mathematical Structures in Computer Science 16, pp. 491–525, doi:10.1017/S0960129506005299.
  2. Alexandru Baltag & Sonja Smets (2012): The dynamic turn in quantum logic. Synthese 186(3), pp. 753–773, doi:10.1007/s11229-011-9915-7.
  3. Garrett Birkhoff & John von Neumann (1936): The Logic of Quantum Mechanics. Annals of Mathematics 37(4), pp. 823–843, doi:10.2307/1968621.
  4. Lance Fortnow (2003): Algorithms in Quantum Information Processing: One complexity theorist's view of quantum computing. Theoretical Computer Science 292(3), pp. 597–610, doi:10.1016/S0304-3975(01)00377-2.
  5. Jean-Yves Girard (1989): Proofs and Types. Cambridge University Press.
  6. R. I. G. Hughes (1989): The Structure and Interpretation of Quantum Mechanics. Harvard University Press.
  7. David Makinson (2005): Bridges from Classical to Nonmonotonic Logic. Texts in Computing 5. King's College Publications.
  8. N. David Mermin (2007): Quantum Computer Science: An Introduction. Cambridge University Press, doi:10.1017/CBO9780511813870.
  9. Bengt Nordström, Kent Petersson & Jan Smith (1990): Programming in Martin-Löf's Type Theory. Oxford University Press.
  10. Francesco Paoli (2002): Substructural logics: a primer. Kluwer Academic Publishers, doi:10.1007/978-94-017-3179-9.
  11. Hilary Putnam (1979): Mathematics, Matter, and Method. Philosophical Papers 1. Cambridge University Press, doi:10.1017/CBO9780511625268.
  12. S. A. Selesnick (2003): Foundation for Quantum Computing. International Journal of Theoretical Physics 42(3), pp. 383–426, doi:10.1023/A:1024410829713.
  13. Ming Sheng Ying, Yuan Feng, Run Yao Duan, Yang Jia Li & Neng Kun Yu (2012): Quantum programming: From theories to implementations. Chinese Science Bulletin 57(16), pp. 1903–1909, doi:10.1007/s11434-012-5147-6.

Comments and questions to:
For website issues: