dorsal/arxiv
View SchemaAn Algebra of Pure Quantum Programming
| Authors | Thorsten Altenkirch, Jonathan Grattage, Juliana K. Vizzotto, Amr Sabry |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0506012 |
| URL | https://arxiv.org/abs/quant-ph/0506012 |
| DOI | 10.1016/j.entcs.2006.12.010 |
| Journal | Electronic Notes in Theoretical Computer Science, Volume 170, 6 March 2007, Pages 23-47 |
Abstract
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previously-developed denotational semantics of QML. The completeness proof also gives rise to a normalisation algorithm following the normalisation by evaluation approach. The current work focuses on the pure fragment of QML omitting measurements.
{
"annotation_id": "8dda737d-6842-4df0-8c6b-01746402d5ec",
"date_created": "2026-03-02T18:02:16.219000Z",
"date_modified": "2026-03-02T18:02:16.219000Z",
"file_hash": "13f7d05364ec4de6ccaedddde1a2ab1800f3f0d9235021356ef9b22484756c45",
"private": false,
"record": {
"abstract": "We develop a sound and complete equational theory for the functional quantum\nprogramming language QML. The soundness and completeness of the theory are with\nrespect to the previously-developed denotational semantics of QML. The\ncompleteness proof also gives rise to a normalisation algorithm following the\nnormalisation by evaluation approach. The current work focuses on the pure\nfragment of QML omitting measurements.",
"arxiv_id": "quant-ph/0506012",
"authors": [
"Thorsten Altenkirch",
"Jonathan Grattage",
"Juliana K. Vizzotto",
"Amr Sabry"
],
"categories": [
"quant-ph"
],
"doi": "10.1016/j.entcs.2006.12.010",
"journal_ref": "Electronic Notes in Theoretical Computer Science, Volume 170, 6\n March 2007, Pages 23-47",
"title": "An Algebra of Pure Quantum Programming",
"url": "https://arxiv.org/abs/quant-ph/0506012"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "f549378b-c4ad-4f82-8101-b105f4cfc121",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}