On a Fully Abstract Model for a Quantum Linear Functional Language

DOI10.1016/j.entcs.2008.04.022zbMath1279.68046OpenAlexW1519555209MaRDI QIDQ2870212

Peter Selinger, Benoît Valiron

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.022

zbMATH Keywords

quantum computingdenotational semanticsfunctional programminghigher orderlinear lambda calculus

Mathematics Subject Classification ID

Quantum computation (81P68) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items

Monoidal reverse differential categories, Applicative Bisimulation and Quantum λ-Calculi, Semantics of higher-order quantum computation via geometry of interaction, Semantics of quantum programming languages: Classical control, quantum control, Semantics for a quantum programming language by operator algebras, Unnamed Item, Quantum computation: from a programmer's perspective, Game Semantics for Quantum Stores, Presheaf Models of Quantum Computation: An Outline, Game Semantics for Quantum Data, On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract), Concurrent Quantum Strategies

Uses Software

• QPL

Cites Work

• The lambda calculus, its syntax and semantics
• Towards a quantum programming language
• Typed Lambda Calculi and Applications
• Probabilistic game semantics