On Quantum Lambda Calculi: a Foundational Perspective