Software Tools & Verification Zhicheng Zhang
67 | Quantum Recursive Programming: Verification and Implementation
Quantum recursive programming has recently been introduced for describing sophisticated and complicated quantum algorithms in a compact and elegant way.