Quantum computation: from a programmer's perspective

DOI10.1007/s00354-012-0120-0zbMath1298.81051OpenAlexW2019573041MaRDI QIDQ468591

Benoît Valiron

Publication date: 7 November 2014

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00354-012-0120-0

zbMATH Keywords

quantum computationsemanticsmodels of computationquantum programming language

Mathematics Subject Classification ID

Quantum computation (81P68) Theory of programming languages (68N15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to quantum theory (81-01)

Related Items

Semantics of higher-order quantum computation via geometry of interaction ⋮ Semantics for a quantum programming language by operator algebras ⋮ Quantum computation: a tutorial ⋮ QPCF: higher-order languages and quantum circuits

Uses Software

• QPL
• qGCL
• QML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantics of higher-order quantum computation via geometry of interaction
• Quantum computation: a tutorial
• Linear logic
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Parallelizing quantum circuits
• Graphical reasoning in compact closed categories for quantum computation
• The differential lambda-calculus
• On a Fully Abstract Model for a Quantum Linear Functional Language
• Differential categories
• Rewriting Measurement-Based Quantum Computations with Generalised Flow
• A Lambda Calculus for Quantum Computation
• On Köthe sequence spaces and linear logic
• Towards a quantum programming language
• Quantum programming languages: survey and bibliography
• A lambda calculus for quantum computation with classical control
• Finiteness spaces