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.
Alexandru Baltag & Sonja Smets (2012):
The dynamic turn in quantum logic.
Synthese 186(3),
pp. 753–773,
doi:10.1007/s11229-011-9915-7.
Garrett Birkhoff & John von Neumann (1936):
The Logic of Quantum Mechanics.
Annals of Mathematics 37(4),
pp. 823–843,
doi:10.2307/1968621.
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.
Jean-Yves Girard (1989):
Proofs and Types.
Cambridge University Press.
R. I. G. Hughes (1989):
The Structure and Interpretation of Quantum Mechanics.
Harvard University Press.
David Makinson (2005):
Bridges from Classical to Nonmonotonic Logic.
Texts in Computing 5.
King's College Publications.
N. David Mermin (2007):
Quantum Computer Science: An Introduction.
Cambridge University Press,
doi:10.1017/CBO9780511813870.
Bengt Nordström, Kent Petersson & Jan Smith (1990):
Programming in Martin-Löf's Type Theory.
Oxford University Press.
Francesco Paoli (2002):
Substructural logics: a primer.
Kluwer Academic Publishers,
doi:10.1007/978-94-017-3179-9.
Hilary Putnam (1979):
Mathematics, Matter, and Method.
Philosophical Papers 1.
Cambridge University Press,
doi:10.1017/CBO9780511625268.
S. A. Selesnick (2003):
Foundation for Quantum Computing.
International Journal of Theoretical Physics 42(3),
pp. 383–426,
doi:10.1023/A:1024410829713.
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.