12 citations · 33 across the 10 of their papers we have counts for
1 paper · 1 filter
Alejandro Díaz-Caro, Tomás Miguez
Since the seminal work of Selinger and Valiron, the standard design for quantum lambda calculi has kept the quantum state outside the program: terms manipulate pointers to an exter…