Von Neumann Algebras form a Model for the Quantum Lambda Calculus [article]

Kenta Cho, Abraham Westerbaan
2016 arXiv   pre-print
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.
arXiv:1603.02133v1 fatcat:nwhasor5mracnf36a4nnze2p4m