Von Neumann Algebras form a Model for the Quantum Lambda Calculus

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.

References in corpus (1)

• Quantum Programs as Kleisli Maps

Cited by in corpus (10)

• Quantum sets
• Semantics for Variational Quantum Programming
• The Category of Von Neumann Algebras
• Quantum Programs as Kleisli Maps
• A computer scientist's reconstruction of quantum theory
• Quantum CPOs
• Effectuses in Categorical Quantum Foundations
• Computational Adequacy for Substructural Lambda Calculi
• Quantum Information Effects
• Duplicable von Neumann Algebras