Quantum Expectation Transformers for Cost Analysis.

Martin Avanzini, Georg Moser, Romain Pchoux, Simon Perdrix, Vladimir Zamdzhiev

Browse the full LICS paper archive.