A Rewriting Theory for Quantum λ-Calculus.

Claudia Faggian, Gaetan Lopez, Benot Valiron

Browse the full CSL paper archive.