Article ID Journal Published Year Pages File Type
423306 Electronic Notes in Theoretical Computer Science 2008 15 Pages PDF
Abstract

This paper studies the linear fragment of the programing language for quantum computation with classical control described in [Selinger, P. and B. Valiron, A lambda calculus for quantum computation with classical control, in: P. Urzyczyn, editor, Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications (TLCA 2005), Lecture Notes in Computer Science 3461 (2005), pp. 354–368]. We sketch the language, and discuss equivalence of terms. We also describe a fully abstract denotational semantics based on completely positive maps.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics