Measurements in Proof Nets as Higher-Order Quantum Circuits.

Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago

Browse the full ESOP paper archive.