"Higher Semantics of Quantum Protocols."

Jamie Vicary (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics