72 citations · 610 across the 64 of their papers we have counts for
1 paper · 2 filters
Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella +1
This paper demonstrates how to add a measurement operator to quantum lambda-calculi. A proof of the consistency of the semantics is given through a proof of confluence presented in…