Von Neumann Algebras form a Model for the Quantum Lambda Calculus
arXiv:1603.02133
Abstract
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.