A quantum let within the lambda calculus

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…