IMALL with a Mixed-State Modality: A Logical Approach to Quantum Computation.

Kinnari Dave, Alejandro Daz-Caro, Vladimir Zamdzhiev

Browse the full APLAS paper archive.