Von Neumann Algebras form a Model for the Quantum Lambda Calculus
classification
💻 cs.LO
math.OAquant-ph
keywords
modelalgebrascalculuslambdaneumannquantumadequateform
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.