Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago. Measurements in Proof Nets as Higher-Order Quantum Circuits.
23rd European Symposium on Programming, Apr 2014, Grenoble, France. pp.371 - 391, 2014,
〈10.1007/978-3-642-54833-8_20〉.
〈hal-01091582〉