加载中…
2016-03-07
Von Neumann Algebras form a Model for the Quantum Lambda Calculus
Kenta ChoAbraham Westerbaan
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本