We interpret Selinger and Valironâ€™s quantum lambda calculus in the category of completely positive normal subunital maps between von Neumann algebras, and prove that the interpretation is adequate with respect to operational semantics.

We interpret Selinger and Valironâ€™s quantum lambda calculus in the category of completely positive normal subunital maps between von Neumann algebras, and prove that the interpretation is adequate with respect to operational semantics.