[quant-ph/0307150] A Lambda Calculus for Quantum Computation July 14, 2006 [quant-ph/0307150] A Lambda Calculus for Quantum Computation Andre’s paper.