  We present a model of Selinger and Valiron's quantum lambda calculus based on
von Neumann algebras, and show that the model is adequate with respect to the
operational semantics.

Logic in Computer Science;Operator Algebras;Quantum Physics