Quantum computation: from a programmer's perspective
From MaRDI portal
Publication:468591
DOI10.1007/S00354-012-0120-0zbMATH Open1298.81051OpenAlexW2019573041MaRDI QIDQ468591FDOQ468591
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
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
Theory of programming languages (68N15) Quantum computation (81P68) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to quantum theory (81-01)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Towards a quantum programming language
- Quantum programming languages: survey and bibliography
- A lambda calculus for quantum computation with classical control
- Linear logic
- The lambda calculus. Its syntax and semantics. Rev. ed.
- The differential lambda-calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- On a fully abstract model for a quantum linear functional language (extended abstract)
- Semantics of higher-order quantum computation via geometry of interaction
- The quantum IO monad
- A Lambda Calculus for Quantum Computation
- Finiteness spaces
- Rewriting measurement-based quantum computations with generalised flow
- Graphical reasoning in compact closed categories for quantum computation
- Differential categories
- On Köthe sequence spaces and linear logic
- Parallelizing quantum circuits
- Title not available (Why is that?)
- Extended measurement calculus
- Title not available (Why is that?)
- Quantum computation: a tutorial
Cited In (12)
- QPCF: higher-order languages and quantum circuits
- Quantum programming languages: survey and bibliography
- Software science view on quantum circuit algorithms
- Models of quantum computation and quantum programming languages
- Quantum computation with coherent spin states and the close Hadamard problem
- Quantum computation: a tutorial
- Semantics for a quantum programming language by operator algebras
- Title not available (Why is that?)
- On the automation of encoding processes in the quantum IO monad
- Semantics of higher-order quantum computation via geometry of interaction
- Classical concepts in quantum programming
- Title not available (Why is that?)
Uses Software
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)