Quantum computation: from a programmer's perspective

DOI10.1007/S00354-012-0120-0MaRDI QIDQ468591zbMATHOpenAlexFDO

Authors 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

semanticsquantum computationmodels of computationquantum programming language

Mathematics Subject Classification ID

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

Recommendations

• Quantum computing for programmers
• Quantum computation from computer science view
• scientific article; zbMATH DE number 1612487
• scientific article; zbMATH DE number 1072528
• scientific article; zbMATH DE number 2036019
• Quantum computation
• scientific article; zbMATH DE number 2134903
• Quantum Computation
• Quantum Computation
• Fundamentals of quantum programming in IBM's quantum computers

Cites work

• scientific article; zbMATH DE number 1579275 (Why is no real title available?)
• scientific article; zbMATH DE number 1612487 (Why is no real title available?)
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 5667324 (Why is no real title available?)
• scientific article; zbMATH DE number 5076264 (Why is no real title available?)
• scientific article; zbMATH DE number 5708038 (Why is no real title available?)
• scientific article; zbMATH DE number 2134919 (Why is no real title available?)
• A Lambda Calculus for Quantum Computation
• A lambda calculus for quantum computation with classical control
• Differential categories
• Extended measurement calculus
• Finiteness spaces
• Graphical reasoning in compact closed categories for quantum computation
• Linear logic
• On Köthe sequence spaces and linear logic
• On a fully abstract model for a quantum linear functional language (extended abstract)
• Parallelizing quantum circuits
• Quantum computation: a tutorial
• Quantum programming languages: survey and bibliography
• Rewriting measurement-based quantum computations with generalised flow
• Semantics of higher-order quantum computation via geometry of interaction
• The differential lambda-calculus
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The quantum IO monad
• Towards a quantum programming language

Cited in

(12)

• On the automation of encoding processes in the quantum IO monad
• scientific article; zbMATH DE number 1796843 (Why is no real title available?)
• Classical concepts in quantum programming
• Quantum computation: a tutorial
• Models of quantum computation and quantum programming languages
• Software science view on quantum circuit algorithms
• Quantum computation with coherent spin states and the close Hadamard problem
• Semantics of higher-order quantum computation via geometry of interaction
• QPCF: higher-order languages and quantum circuits
• Quantum programming languages: survey and bibliography
• scientific article; zbMATH DE number 1612487 (Why is no real title available?)
• Semantics for a quantum programming language by operator algebras

Describes a project that uses

Uses Software

• QPL
• qGCL
• QML

This page was built for publication: Quantum computation: from a programmer's perspective

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q468591)