Abstract resource cost derivation for logical quantum circuit descriptions.

Andrei Lapets, Martin Roetteler

Browse the full ICFP paper archive.