24 citations · 79 across the 15 of their papers we have counts for
1 paper · 1 filter
Ugo Dal Lago, Claudia Faggian, Benoit Valiron +1
We introduce a Geometry of Interaction model for higher-order quantum computation, and prove its adequacy for a full quantum programming language in which entanglement, duplication…