Paper Info
Title
Von Neumann Algebras form a Model for the Quantum Lambda Calculus.
Abstract
We present a model of Selinger and Valironu0027s quantum lambda calculus based on von Neumann algebras, and show that the model is adequate with respect to the operational semantics.
Year
Venue
Field
2016
arXiv: Logic in Computer Science
Tomita–Takesaki theory,Discrete mathematics,Lambda calculus,Von Neumann algebra,Affiliated operator,Abelian von Neumann algebra,Simply typed lambda calculus,Binary lambda calculus,Algebra,Typed lambda calculus,Pure mathematics,Mathematics
DocType
Volume
Citations 
Journal
abs/1603.02133
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Kenta Cho1263.10
Abraham Westerbaan200.68