{
  "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
}