about me teaching publications contact gitlab

Von Neumann Algebras form a Model for the Quantum Lambda Calculus

22 Feb 2016 [ arxiv · preprint · extended abstract ]

with Kenta Cho

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.