Von Neumann Algebras form a Model for the Quantum Lambda Calculus
  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. 
Kenta Cho and Abraham Westerbaan
cs.LO math.OA quant-ph