U Dal Lago, C Faggian, B Valiron, A Yoshimizu - ACM SIGPLAN Notices, 2017 - dl.acm.org
We introduce a Geometry of Interaction model for higher-order quantum computation, and
prove its adequacy for a fully fledged quantum programming language in which …