Juliana Kaizer Vizzotto, Bruno Crestani Calegaro, Eduardo Kessler Piveta. A Double Effect λ-calculus for Quantum Computation. In André Rauber Du Bois, Phil Trinder, editors, Programming Languages - 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings. Volume 8129 of Lecture Notes in Computer Science, pages 61-74, Springer, 2013. [doi]
Abstract is missing.