1 paper
Kenta Cho, Abraham A. Westerbaan
Recently, we have shown that von Neumann algebras form a model for Selinger and Valiron's quantum lambda calculus. In this paper, we explain our choice of interpretation of the dup…