ReQWIRE: Reasoning about Reversible Quantum Circuits

Robert Rand, Jennifer Paykin, Dong-Ho Lee, Steve Zdancewic
January 2018
PDF Cite Code Slides Video DOI
Type
Conference paper
Publication
International Conference on Quantum Physics and Logic (QPL 2018)