Von Neumann Algebras form a Model for the Quantum Lambda Calculus
Logic in Computer Science
2016-03-08 v1 Operator Algebras
Quantum Physics
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.
Cite
@article{arxiv.1603.02133,
title = {Von Neumann Algebras form a Model for the Quantum Lambda Calculus},
author = {Kenta Cho and Abraham Westerbaan},
journal= {arXiv preprint arXiv:1603.02133},
year = {2016}
}