On a fully abstract model for a quantum linear functional language (extended abstract). (English) Zbl 1279.68046
Selinger, Peter (ed.), Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17–19 July 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 210, 123-137 (2008).
Summary: This paper studies the linear fragment of the programing language for quantum computation with classical control described in [the authors, Lect. Notes Comput. Sci. 3461, 354–368 (2005; Zbl 1114.68031)]. We sketch the language, and discuss equivalence of terms. We also describe a fully abstract denotational semantics based on completely positive maps.
For the entire collection see [Zbl 1276.68031].
For the entire collection see [Zbl 1276.68031].
MSC:
| 68N18 | Functional programming and lambda calculus |
| 68N15 | Theory of programming languages |
| 81P68 | Quantum computation |
Keywords:
quantum computing; functional programming; linear lambda calculus; higher order; denotational semanticsCitations:
Zbl 1114.68031Software:
QPLReferences:
| [1] | Barendregt, H. P., The Lambda-Calculus, its Syntax and Semantics, (Studies in Logic and the Foundation of Mathematics, 103 (1984), North Holland) · Zbl 0467.03010 |
| [2] | Danos, V.; Harmer, R. S., Probabilistic game semantics, ACM Transactional on Computational Logic, 3, 359-382 (2002) · Zbl 1365.68310 |
| [3] | Selinger, P., Towards a quantum programming language, Mathematical Structures in Computer Science, 14, 527-586 (2004) · Zbl 1085.68014 |
| [4] | Selinger, P.; Valiron, B., A lambda calculus for quantum computation with classical control, (Urzyczyn, P., Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications. Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications, (TLCA 2005). Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications. Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications, (TLCA 2005), Lecture Notes in Computer Science, 3461 (2005)), 354-368 · Zbl 1114.68031 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
