Current browse context:
cs.LO
Change to browse by:
References & Citations
Computer Science > Logic in Computer Science
Title: Von Neumann Algebras form a Model for the Quantum Lambda Calculus
(Submitted on 7 Mar 2016)
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.
Link back to: arXiv, form interface, contact.