Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
423306 | Electronic Notes in Theoretical Computer Science | 2008 | 15 Pages |
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