Quantum Predicative Programming.

Anya Tafliovich, Eric C. R. Hehner

Browse the full MPC paper archive.