Quantum PL & Verification Bibliography
About
Papers
People
Venues
Tags
Posts
Variants
BibLaTeX
BibTeX
bibtex2html
BibBase
Mailing List
Light
Dark
Automatic
A Brief Survey of Quantum Programming Languages
Peter Selinger
April 2004
Survey
Cite
DOI
Abstract
This article is a brief and subjective survey of quantum programming language research.
Type
Conference paper
Publication
Proceedings of the 7th International Symposium on Functional and Logic Programming
quantum computation
quantum algorithm
linear logic
denotational semantics
lambda calculus
Related
The Arrow Calculus as a Quantum Programming Language
Geometry of Interaction for ZX-Diagrams
Two linearities for quantum computing in the lambda calculus
Typing Quantum Superpositions and Measurement
Semantics of higher-order quantum computation via geometry of interaction
Cite
×