{"as_of":"2026-08-13T01:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d3e24ca5a19e7254455ada17019515bb8821f3212084df4e8146cc375acbec10","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T14:58:08.383183Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T14:58:08.294572Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-12T14:58:09.006340Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"cited_work":{"arxiv_id":"2411.14856","doi":null,"metadata_source":"pith","pith_arxiv_id":"2411.14856","snapshot_observed_at":"2026-08-12T14:58:09.006340Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","venue":"cs.LO","work_id":"6d798e27-77f5-4f18-8da2-866eb3c481e3","year":2024},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.294572Z"},"links":{"cited_paper":"/paper/2411.14856","citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:c6a0d388c9b2e83a9767e1ab44f7a370ed82097e3976777e804320f67a9485c3","observation_id":"25d558db-b93c-444b-9167-bac95ea3393a","resolution":{"observed_at":"2026-08-12T14:58:09.010991Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2411.14856/citation-record","integrity":"/paper/2411.14856/integrity","json":"/paper/2411.14856/citation-record.json","paper":"/paper/2411.14856"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.csl.2021.6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.603821Z","title":"Factorize factorization","venue":null,"work_id":"6ea1d362-17d1-457b-a12c-06b1091c149b","year":2021},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.169707Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:3daf695e1a03bcd6357465c0a9e912ec7fdeb21ac0aaf66b3f15811ac995d3b8","observation_id":"80563025-0c6d-491b-a856-4abe02d2da85","resolution":{"observed_at":"2026-08-12T14:58:08.608478Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:09.652875Z","title":"Ariola and Stefan Blom","venue":null,"work_id":"f504233e-5ba9-4859-9ca3-1112647bfa83","year":2002},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.175624Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:09b332d6b89bccb55094d4d7b528c103cbfb812013da598050c6f6de048b9cdf","observation_id":"7e7c2390-f3d6-4e62-8ef9-8416ae4b3406","resolution":{"observed_at":"2026-08-12T14:58:09.657400Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:09.638611Z","title":"The benefits of diligence","venue":null,"work_id":"44af10b1-28aa-445a-8814-95335ec5ce23","year":2024},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.180657Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:48f79a44ee9fffd21e8e29fa604111e06c13d3b2bd8d46eef2a43beddb4c2e54","observation_id":"b1517df1-d704-415d-84b9-493f4b1ad3b7","resolution":{"observed_at":"2026-08-12T14:58:09.643777Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.186158Z","title":"The vectorial lambda-calculus","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.186158Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:a430243277a8a270271333955ab4e2a7d35067c2ce6c9d219354fab972ab088f","observation_id":"2c6003f8-a455-4c66-87d6-ebd374a17876","resolution":{"observed_at":"2026-08-12T14:58:08.186158Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:09.624301Z","title":"Lineal: A linear-algebraic lambda-calculus","venue":null,"work_id":"9a63210b-e3b1-446e-8ddd-2c04fa7e1770","year":2017},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.192035Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:f840c369f1900f9385a80d0d15f7e8cdfc90c0672331076d7b97b5e507e8466a","observation_id":"17eba7f7-970a-4c1a-9bcf-c0c96c7e5b7e","resolution":{"observed_at":"2026-08-12T14:58:09.629148Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2019.10233","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:09.461454Z","title":"On probabilistic term rewriting","venue":null,"work_id":"e514b831-b88d-4b53-91bb-2bae2fe2e645","year":2020},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.197935Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:01ba715a09992fe149668cbe4db63dfb6d04409ec56b3812d02232a1a750d241","observation_id":"bfb74c4d-bf00-46da-92f8-a72998df738c","resolution":{"observed_at":"2026-08-12T14:58:09.468204Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:09.610128Z","title":"The Lambda Calculus -- Its Syntax and Semantics , volume 103 of Studies in logic and the foundations of mathematics","venue":null,"work_id":"451e363c-7874-4a58-876b-612e77b01139","year":1984},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.203654Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:6aaa39e45322857f42951eeec84a5ab531de36ffdc1f8b07ec6c1a68185bc0f9","observation_id":"4203fce8-a96c-486e-96b6-83f8078a9744","resolution":{"observed_at":"2026-08-12T14:58:09.614517Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.208567Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.208567Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:e91fdf2b9cd6ba80d4f2f262f323de4457f2e4dc7aac33bbb69bc341f404d6ea","observation_id":"31989823-1404-459d-a220-6bf9c7445b95","resolution":{"observed_at":"2026-08-12T14:58:08.208567Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:09.596274Z","title":"Proving positive almost sure termination under strategies","venue":null,"work_id":"14c0114e-20f2-4d25-9a83-6e7a20e448c1","year":2006},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.213182Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:e131b81c74c4d095b53ea00492eb53636805086f374c09e127bcf21e31b6eb92","observation_id":"23a52150-23a1-4dd9-9843-5b6ad61a743f","resolution":{"observed_at":"2026-08-12T14:58:09.600817Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2023.10504","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:09.295953Z","title":"The bang calculus revisited","venue":null,"work_id":"a20db6ae-e354-4f24-b7c0-93fa002d826f","year":2023},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.218049Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:cc7a2d21b1a79612248ac7404ced2f9d21537398d470e234c031a931945012cb","observation_id":"16aaf415-39a0-4015-bc6c-d0428986845a","resolution":{"observed_at":"2026-08-12T14:58:09.302906Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.223688Z","title":"An automated deductive verification framework for circuit-building quantum programs","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.223688Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:691b3d0ca7ad92afae5e0e5e7f6b01ca9735a509561badd64e9d69fa787159fc","observation_id":"385fa866-6975-4181-b2a2-c38beb59ea97","resolution":{"observed_at":"2026-08-12T14:58:08.223688Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.229631Z","title":"The geometry of parallelism: classical, probabilistic, and quantum effects","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.229631Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:846a44278ed4a1408c0784d57255d86fafda64761d8ac59cf5a9c2bb603a3982","observation_id":"c4d36db0-2869-4671-ada6-628ef1af4500","resolution":{"observed_at":"2026-08-12T14:58:08.229631Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s096012950800741x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.563088Z","title":"On a measurement-free quantum lambda calculus with classical control","venue":null,"work_id":"8ebb28ff-f4cb-4d91-89ea-d5508140834f","year":2009},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.234494Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:3c363c7ed11bb59dcb9da147486d7ab321834271df2333a89638f21c1abab258","observation_id":"f58cbf55-7c2e-461c-a183-ef0786f74d2f","resolution":{"observed_at":"2026-08-12T14:58:08.567487Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2011.01.035","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.549302Z","title":"Confluence results for a quantum lambda calculus with measurements","venue":null,"work_id":"d9c69c99-42b4-4577-a50b-f6ffddc6b84d","year":2011},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.239323Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:3f43c132674b3032b3691fed6d5b42a08ecd51ae87620953b118b6066613ddad","observation_id":"77dd3cbb-d441-4950-907e-53e6105b8e50","resolution":{"observed_at":"2026-08-12T14:58:08.553712Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.244280Z","title":"Probabilistic operational semantics for the lambda calculus","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.244280Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:37f91c03a423198bf105b70cbd98269dc8344942eb33d197040c13d791b6f3a5","observation_id":"74700aba-6541-48b8-bbd3-8a0a5f94d831","resolution":{"observed_at":"2026-08-12T14:58:08.244280Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:09.582022Z","title":"Non deterministic extensions of untyped lambda-calculus","venue":null,"work_id":"a254aac3-88b8-4fc8-8623-8d4d9033d70a","year":1995},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.249535Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:df266ddf9f81712af9b7f6df80de430f53375a1de16d8c174780082f1e7fbec9","observation_id":"72ea92fe-8eb8-4534-96a7-57a07c748826","resolution":{"observed_at":"2026-08-12T14:58:09.586335Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:09.568218Z","title":"Probabilistic lambda-calculus and quantitative program analysis","venue":null,"work_id":"2b4bd189-6a75-45e2-a3f8-789072a6be34","year":2005},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.254244Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:b18172db367256bba81d3cdf29ad0013eccdf1d4caca5a4932468669b0ead8cd","observation_id":"0291afdc-1224-4b4f-8826-8bac8acbc3a3","resolution":{"observed_at":"2026-08-12T14:58:09.572567Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.259616Z","title":"Realizability in the unitary sphere","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.259616Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:129c94009292be6f483d898b5f62ec637a4d35ff7d8a3591d7fc4e29d4c64bd2","observation_id":"637b1a67-2b5c-464e-b3c0-930c63db2305","resolution":{"observed_at":"2026-08-12T14:58:08.259616Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:09.554738Z","title":"Confluence in probabilistic rewriting","venue":null,"work_id":"a68c8e9e-d6bf-4e8b-8ba8-022e25a27720","year":2018},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.264329Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:60ee594c54d258649f21d9970ab7cefa48ee6234437006c80ff932e7e7708848","observation_id":"ebc11f85-d4eb-485c-af1b-8c12c0a1acd3","resolution":{"observed_at":"2026-08-12T14:58:09.559404Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.269388Z","title":"The bang calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.269388Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:488b40277f0cc34503a8c9ed2c491280d3a0fa3e5f36948bae6493acce3f629b","observation_id":"74d2dcf3-e74d-4c31-89eb-1b2079b0e0d9","resolution":{"observed_at":"2026-08-12T14:58:08.269388Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/lics.2011.29","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.535816Z","title":"The computational meaning of probabilistic coherence spaces","venue":null,"work_id":"8248028b-2bb1-4941-af16-5de4abbf762a","year":2011},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.275416Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:2b3b0f27665b1b85b91a28e312f0957ecfd6e1b50a520caa846f19be9e8f5061","observation_id":"38e7d750-7ff8-43e3-9eba-2e2731eda77e","resolution":{"observed_at":"2026-08-12T14:58:08.540260Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.fscd.2019.19","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.520736Z","title":"Probabilistic rewriting: Normalization, termination, and unique normal forms","venue":null,"work_id":"dec23de9-d4f0-4541-9816-70b4944f94ba","year":2019},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.280165Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:0a6cb2d69a7b83bd8f7ef3569773b46eeb9c01bcc4aa2b3fd67afa5364e1ce05","observation_id":"b80cc2d2-6c7b-4b0e-a409-913d4fd3b389","resolution":{"observed_at":"2026-08-12T14:58:08.525962Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.46298/lmcs-18(2:5)2022","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.506777Z","title":"Probabilistic rewriting and asymptotic behaviour: on termination and unique normal forms","venue":null,"work_id":"95ff6ff3-3da9-41eb-bc26-5813443b296a","year":2022},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.284996Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:7748fe8b3f93226c652eab1f943eb6425d002e7f9972b5f139e155d25251c5ad","observation_id":"86ff9f95-9061-42fa-8d2e-2a02cd1d4341","resolution":{"observed_at":"2026-08-12T14:58:08.511423Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.289823Z","title":"Factorization in call-by-name and call-by-value calculi via linear logic","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.289823Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:0a1c77099c2434f5d611ed175d876f617f6fca2bc31712f998b5c92e3a9e2da1","observation_id":"1a997117-49d8-4db4-8f10-16274f934bf1","resolution":{"observed_at":"2026-08-12T14:58:08.289823Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"cited_work":{"arxiv_id":"2411.14856","doi":null,"metadata_source":"pith","pith_arxiv_id":"2411.14856","snapshot_observed_at":"2026-08-12T14:58:09.006340Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","venue":"cs.LO","work_id":"6d798e27-77f5-4f18-8da2-866eb3c481e3","year":2024},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.294572Z"},"links":{"cited_paper":"/paper/2411.14856","citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:c6a0d388c9b2e83a9767e1ab44f7a370ed82097e3976777e804320f67a9485c3","observation_id":"25d558db-b93c-444b-9167-bac95ea3393a","resolution":{"observed_at":"2026-08-12T14:58:09.010991Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.299586Z","title":"Lambda calculus and probabilistic computation","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.299586Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:e54451b4ced22ad6e821f9edfa5757f8c5f43a52bfe3208bbe8f532045abc011","observation_id":"b2629fb4-41e8-4238-848b-a2c15f394375","resolution":{"observed_at":"2026-08-12T14:58:08.299586Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.304409Z","title":"A relational theory of monadic rewriting systems, part I","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.304409Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:3daeea595703f4c1ba4c46928ae0d2b7c3a314ca064d06f0d7512de482b7d1c1","observation_id":"b9ff3828-f85d-42bf-90b0-e5486d555cfe","resolution":{"observed_at":"2026-08-12T14:58:08.304409Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1017/s0960129506005378","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.484688Z","title":null,"venue":null,"work_id":"af699579-6394-4288-803c-8a1dc6296940","year":2006},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.311307Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:eaff724f520826c651f5995c8caeb3e4d23d9cffed7cd9b073a09093e949a81a","observation_id":"340b7fcb-bb86-444e-b7ad-4d366c7d483f","resolution":{"observed_at":"2026-08-12T14:58:08.488996Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.317267Z","title":"Linear logic","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.317267Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:cc69608a3f152ba210c36829431769580b772e4d647765b5dd50df8583ca84cb","observation_id":"9fa9bec7-2fb7-4329-ace4-4605c66b40fb","resolution":{"observed_at":"2026-08-12T14:58:08.317267Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.322695Z","title":"Green, Peter LeFanu Lumsdaine, Neil J","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.322695Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:2484624cef8d61dbfa0f6c8310312de24f58fe89b8612a3777d755a27b4af91a","observation_id":"0a583507-3dc1-4876-9bbf-07c4766ce0f1","resolution":{"observed_at":"2026-08-12T14:58:08.322695Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.328027Z","title":"The bang calculus and the two G irard's translations","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.328027Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:b8c2880f6b2ad2000076c98626ba7e374947d513ce12c8c96cff67db977ddfcd","observation_id":"6657d133-2a4a-4a48-902a-3f024fc4c5b1","resolution":{"observed_at":"2026-08-12T14:58:08.328027Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.332999Z","title":"From innermost to full almost-sure termination of probabilistic term rewriting","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.332999Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:50b3bf57df9af2f485be716ac0358bae1f1448222f15388c7b002e7ef0dc937d","observation_id":"2d7a3a64-ef41-4c32-9ff5-418196de4b13","resolution":{"observed_at":"2026-08-12T14:58:08.332999Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:09.531654Z","title":"Kirkeby and Henning Christiansen","venue":null,"work_id":"bdb4fade-e4a6-46e8-ae15-a88fcfac7c73","year":2017},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.337910Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:b21a1c36158d28bfb64a76fd9eee6c0489f1c2b9c39e6a7d0f39cb9f1ac0aed4","observation_id":"26df9b7f-0784-4535-8d2f-6dee42ebce9c","resolution":{"observed_at":"2026-08-12T14:58:09.536527Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:09.517815Z","title":null,"venue":null,"work_id":"bec98b96-ab09-4bdf-bfc1-ed0da6c13774","year":1996},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.344456Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:a40765a3a686930a32d322a93b99b058eb5f5954ceb11bf50734c8cc7dae31a0","observation_id":"571ad9b9-0e51-4046-992d-979b855f0060","resolution":{"observed_at":"2026-08-12T14:58:09.521997Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.fsttcs.2021.51","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.453251Z","title":"Concrete categorical model of a quantum circuit description language with measurement","venue":null,"work_id":"e8dc71f3-e1eb-4786-8f75-635b1eccdeb8","year":2021},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.349738Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:f08ca642c29ad9d3caec669923f34b44e44cf194840432e64f99435f96b4cb9c","observation_id":"47ccff2a-d03c-4a28-bbe5-3adea7c4781b","resolution":{"observed_at":"2026-08-12T14:58:08.457805Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:09.504625Z","title":null,"venue":null,"work_id":"be4fac12-4379-4c2b-98b4-5da0d9b2801b","year":1942},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.354124Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:97b2580de8817dc26b51e15046ac315bf75d5d2925de45cc70c0e4d74136977e","observation_id":"70dd1ddd-dbd1-4a3d-a371-5ecc20fca25b","resolution":{"observed_at":"2026-08-12T14:58:09.508904Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:09.490843Z","title":"Nielsen and Isaac L","venue":null,"work_id":"30a894d3-2d7d-4260-b4db-c932f242b167","year":2002},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.358140Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:95c96f53a615e3ba2b89c133726b574a170452006827cd404d208f0671061031","observation_id":"b7d8cece-1307-43be-948e-1f38a85e0ea1","resolution":{"observed_at":"2026-08-12T14:58:09.495212Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.362124Z","title":"Applying quantitative semantics to higher-order quantum computing","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.362124Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:db86bc5669f93adb17262776071815fb029177ef4f43876425665ea0bbd60345","observation_id":"540620f4-2bea-47b8-8c55-aa39448b31d9","resolution":{"observed_at":"2026-08-12T14:58:08.362124Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-019-09518-y","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.438502Z","title":"qPCF: higher-order languages and quantum circuits","venue":null,"work_id":"d81bb02e-72a6-4c65-8634-4691bde4fc28","year":2019},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.366088Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:2df0151cfe7d019cd9f90386dd4e9853035b02baca6f06e1b36b729e7d5376ff","observation_id":"e5d99b09-5f2d-4121-bfff-73539655f878","resolution":{"observed_at":"2026-08-12T14:58:08.443814Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.370238Z","title":"QWIRE: a core language for quantum circuits","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.370238Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:893969b4b9820d654845acca8606f41917fbd26fba68409ac61d85893e94a3d7","observation_id":"01fb8884-07fd-4c0a-ae11-a621eb96bf9c","resolution":{"observed_at":"2026-08-12T14:58:08.370238Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:09.477152Z","title":null,"venue":null,"work_id":"c5552711-a4d3-4176-b191-7fda40d0e6e1","year":1975},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.374456Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:b97575f35324c3cc400005bc7e624850f3d0bb725a0d095c7e6eba55c57f4dbb","observation_id":"48508a77-5afc-4532-8d9d-89af3b0bb0f2","resolution":{"observed_at":"2026-08-12T14:58:09.481500Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.378605Z","title":"A lambda calculus for quantum computation with classical control","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.378605Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:512355d7752009480496f29a48c414bf7e33e3551962b0dae28532aa6079e291","observation_id":"ca2224de-c37e-4279-96b2-34ac2f7c8eef","resolution":{"observed_at":"2026-08-12T14:58:08.378605Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-32033-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T14:58:08.413578Z","title":null,"venue":null,"work_id":"ea2e22de-4c9d-46df-89d7-1398a59afcbd","year":2005},"citing_paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus","version":2},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-12T14:58:08.383183Z"},"links":{"citing_paper":"/paper/2411.14856"},"observation_digest":"sha256:3904f2ba90d417b7001f62dd4a621d907a2f58afc07510a949349c7002169538","observation_id":"b1ccdc47-b39c-48f8-b0c4-a30fce3fdc29","resolution":{"observed_at":"2026-08-12T14:58:08.419069Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.14856","last_updated":"2025-01-27T23:15:08Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-12T14:45:07.436097Z","submitted_at":"2024-11-22T11:14:15Z","title":"A Rewriting Theory for Quantum Lambda-Calculus"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":20,"verified_exact":11,"verified_fuzzy":10},"total_outbound_references":43},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 1 inbound Pith citation observation for arXiv:2411.14856."}