Nijmegen Quantum Logic Group

home people seminar

Von Neumann Algebras form a Model for the Quantum Lambda Calculus

22 Feb 2016 [ arXiv ]

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.