Sciweavers

ENTCS
2008

On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract)

13 years 10 months ago
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract)
ly abstract model for a quantum unctional language (extended abstract) Peter Selinger1 ,2 Dalhousie University, Halifax, Nova Scotia, Canada Beno^it Valiron3 University of Ottawa, Ottawa, Ontario, Canada This paper studies the linear fragment of the programing language for quantum computation with classical control described in [4]. We sketch the language, and discuss equivalence of terms. We also describe a fully denotational semantics based on completely positive maps.
Peter Selinger, Benoît Valiron
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where ENTCS
Authors Peter Selinger, Benoît Valiron
Comments (0)