arXiv (Cornell University) · 2016 · 13 citations · 3 references
ComputingComputer ScienceAlgebraQuantum ComputingQuantum MechanicsModel TheoryQuantum ComputationLambda CalculusLambda Calculus SemanticsOperational SemanticsQuantum Lambda CalculusQuantum SemanticsStructural Operational SemanticsVon Neumann Algebras
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.
3
The Logic of Quantum Mechanics
Garrett Birkhoff, John von Neumann · Annals of Mathematics · 1936 · 2.9K citations