Author: Urs Format: MarkdownItexstarting something; for the moment mostly to better organize some scattered references from other entries
<a href="https://ncatlab.org/nlab/revision/quantum+programming+languages/1">v1</a>, <a href="https://ncatlab.org/nlab/show/quantum+programming+languages">current</a>
starting something; for the moment mostly to better organize some scattered references from other entries
Author: Urs Format: MarkdownItexadded to the Idea-section a sentence mentioning linear type theory, with some pointers to the literature.
And a brief sentence on quantum circuit description versus algorithmic languages.
<a href="https://ncatlab.org/nlab/revision/diff/quantum+programming+language/4">diff</a>, <a href="https://ncatlab.org/nlab/revision/quantum+programming+language/4">v4</a>, <a href="https://ncatlab.org/nlab/show/quantum+programming+language">current</a>
added to the Idea-section a sentence mentioning linear type theory, with some pointers to the literature.
And a brief sentence on quantum circuit description versus algorithmic languages.