Nijmegen Quantum Logic Group

home people seminar

Semantics for a Quantum Programming Language by Operator Algebras

12 May 2014 [ journal (NGC) · preprint · EPTCS · slides ]

A denotational semantics for Selinger’s first-order functional quantum programming language is given by W*-algebras and normal completely positive subunital maps.