{
  "annotation_id": "10eeb62f-d83a-4212-9e74-b89668f334c1",
  "date_created": "2026-03-02T18:02:24.179000Z",
  "date_modified": "2026-03-02T18:02:24.179000Z",
  "file_hash": "a2d7736beb15c828d25ccf5832b4e2b1a35a51ded8e2a6d0ca440d2e6370235e",
  "private": false,
  "record": {
    "abstract": "We define a strongly normalising proof-net calculus corresponding to the\nlogic of strongly compact closed categories with biproducts. The calculus is a\nfull and faithful representation of the free strongly compact closed category\nwith biproducts on a given category with an involution. This syntax can be used\nto represent and reason about quantum processes.",
    "arxiv_id": "quant-ph/0512114",
    "authors": [
      "Samson Abramsky",
      "Ross Duncan"
    ],
    "categories": [
      "quant-ph",
      "cs.LO"
    ],
    "doi": "10.1017/S0960129506005275",
    "title": "A Categorical Quantum Logic",
    "url": "https://arxiv.org/abs/quant-ph/0512114"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "48cce106-5823-4f09-a907-8432d78e4852",
    "id": "arXiv Dataset IDs",
    "type": "Model",
    "variant": "snapshot-2026-03-01",
    "version": "0.1.0"
  },
  "user_id": 1000002
}