A Formalization of Measurement-Commuting Unitaries.

Ulrik de Muelenaere, Sinan Pehlivanoglu, Amr Sabry, Peter M. Kogge

Browse the full QCE paper archive.