Thorsten Altenkirch
Alexander Green
2010
The Quantum IO Monad
Simon Gay
Ian McKie
Semantic Techniques in Quantum Computation
Cambridge University Press
173–205
James Barratt
2010
Simulating Decoherence and Implementing Quantum Error Correction in the Quantum IO Monad
University of Nottingham
Peter W. Shor
1995
Scheme for reducing decoherence in quantum computer memory
Phys. Rev. A
52
R2493–R2496
10.1103/PhysRevA.52.R2493
A. M. Steane
1996
Error Correcting Codes in Quantum Theory
Phys. Rev. Lett.
77
793–797
10.1103/PhysRevLett.77.793
Wojciech Hubert Zurek
Raymond Laflamme
1996
Quantum Logical Operations on Encoded Qubits
Phys. Rev. Lett.
77
4683–4686
10.1103/PhysRevLett.77.4683