1 paper
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…