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