{"as_of":"2026-08-10T06:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:96d4d403407500739b8eecd9ff55d0bd135f62a20d60e9f838dd5266c5ff5af6","coverage":[{"denominator":42,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":42,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T05:04:33.555798Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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-02T21:36:33.522915Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.08497","snapshot_observed_at":"2026-08-02T21:36:33.522915Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.19776","last_updated":"2026-07-28T15:48:12Z","snapshot_observed_at":"2026-08-07T16:45:56.692775Z","submitted_at":"2026-02-23T12:31:15Z","title":"Layered Monoidal Theories I: Diagrammatic Algebra and Applications","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-02T21:36:33.522915Z"},"links":{"cited_paper":"/paper/2502.08497","citing_paper":"/paper/2602.19776"},"observation_digest":"sha256:4b24401b183404f0dc8f26d52543b6f36e6b167ff6a7415482081601caf67988","observation_id":"c8946efe-7575-4189-bf54-10bf062f2c1d","resolution":{"observed_at":"2026-08-02T21:36:33.522915Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2502.08497/citation-record","integrity":"/paper/2502.08497/integrity","json":"/paper/2502.08497/citation-record.json","paper":"/paper/2502.08497"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"1007.3794","last_updated":"2010-07-22T03:31:39Z","snapshot_observed_at":"2026-07-06T02:13:10.996008Z","submitted_at":"2010-07-22T03:31:39Z","title":"Open Graphs and Computational Reasoning","version":1},"cited_work":{"arxiv_id":"1007.3794","doi":null,"metadata_source":"pith","pith_arxiv_id":"1007.3794","snapshot_observed_at":"2026-08-08T05:04:34.435438Z","title":"Open Graphs and Computational Reasoning","venue":"cs.LO","work_id":"3642521a-5c6f-491c-9ebe-bcec0c66123b","year":2010},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.388479Z"},"links":{"cited_paper":"/paper/1007.3794","citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:bbad12097f371486864bf2d4dfa2e2fb274966d9a0e993f432cd328e5a48062c","observation_id":"70fe3f4b-e29e-4fe6-9893-d28d4e08fb5f","resolution":{"observed_at":"2026-08-08T05:04:34.439973Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1702.01695","last_updated":"2018-03-02T03:45:32Z","snapshot_observed_at":"2026-08-09T15:44:02.253597Z","submitted_at":"2017-02-06T16:40:00Z","title":"A Structural and Nominal Syntax for Diagrams","version":2},"cited_work":{"arxiv_id":"1702.01695","doi":null,"metadata_source":"pith","pith_arxiv_id":"1702.01695","snapshot_observed_at":"2026-08-08T05:04:34.308270Z","title":"A Structural and Nominal Syntax for Diagrams","venue":"cs.PL","work_id":"16392953-ea5b-4a74-a2b3-b7edeeb92621","year":2017},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.457359Z"},"links":{"cited_paper":"/paper/1702.01695","citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:722c267f1972c2c559d8fc275bfc5857f2d75043b6e6a14aee07a473a3d10a43","observation_id":"172574a1-c3f5-4e2f-9d32-19e567b5b106","resolution":{"observed_at":"2026-08-08T05:04:34.312474Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T05:04:33.438805Z","title":"Categorical Semantics of Digital Circuits","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.438805Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:e2c3ddd7c576a6825b18c79cba94fea6259890769d1d86b1024db577ea6fccb3","observation_id":"4b0c4869-ddd0-4675-ae8d-b849c75e84ee","resolution":{"observed_at":"2026-08-08T05:04:33.438805Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2201.10456","last_updated":"2026-06-26T08:58:14Z","snapshot_observed_at":"2026-07-06T12:31:09.757257Z","submitted_at":"2022-01-25T16:58:10Z","title":"A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics","version":10},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2201.10456","snapshot_observed_at":"2026-08-08T05:04:33.452502Z","title":"A Structural and Nominal Syntax for Diagrams","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.452502Z"},"links":{"cited_paper":"/paper/2201.10456","citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:7398577703164013772c628e1b5fb7948b61d92363f95acb56172d498736d257","observation_id":"34021dc2-ccff-49c1-8cd3-0954c6c79a77","resolution":{"observed_at":"2026-08-08T05:04:33.452502Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1502.00872","last_updated":"2015-08-11T06:41:30Z","snapshot_observed_at":"2026-08-09T21:49:40.441742Z","submitted_at":"2015-02-03T14:26:36Z","title":"Decorated Cospans","version":3},"cited_work":{"arxiv_id":"1502.00872","doi":null,"metadata_source":"pith","pith_arxiv_id":"1502.00872","snapshot_observed_at":"2026-08-08T05:04:34.417952Z","title":"Decorated Cospans","venue":"math.CT","work_id":"10122f22-2298-45b5-aeb2-3a93df609802","year":2015},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.434191Z"},"links":{"cited_paper":"/paper/1502.00872","citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:66b5ff84a6a492b27cf06457d50e28c0a21de8b5f379aa92bac9afa32020fac9","observation_id":"d2a61fe9-e393-4e8f-99f0-03a9fa8fb09e","resolution":{"observed_at":"2026-08-08T05:04:34.422397Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1051/ita:2002009","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Feedback, Trace and Fixed-Point Semantics","venue":"RAIRO - Theoretical Informatics and Applications","work_id":"a5435033-8057-4e29-b4e3-50fbc6b0d3df","year":2004},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.497417Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:a3873ffc7a2d505470bceed01c109e06ec504b23dc1b2a6b840dea30948e4c78","observation_id":"23529ce5-e739-4ddb-93bb-e63a20e5e531","resolution":{"observed_at":"2026-08-08T05:04:33.702963Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2207.03929","last_updated":"2023-07-31T10:41:45Z","snapshot_observed_at":"2026-07-06T13:29:16.348440Z","submitted_at":"2022-07-08T14:29:16Z","title":"String Diagrams for Layered Explanations","version":2},"cited_work":{"arxiv_id":"2207.03929","doi":"10.48550/arxiv.2207.03929","metadata_source":"pith","pith_arxiv_id":"2207.03929","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"String Diagrams for Layered Explanations","venue":"cs.LO","work_id":"f952fcba-f179-4cdd-8fee-b49a40f6ef80","year":2022},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.504977Z"},"links":{"cited_paper":"/paper/2207.03929","citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:c1ac0a77344ac947eaf6d909c24811c79b20ccf9a42354068d6190142867402d","observation_id":"bc3ca5b6-c8ac-4022-a312-850b085bd75f","resolution":{"observed_at":"2026-08-08T05:04:33.692911Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2204.04274","last_updated":"2025-01-30T12:56:11Z","snapshot_observed_at":"2026-08-09T15:44:05.222106Z","submitted_at":"2022-04-08T20:04:21Z","title":"Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure","version":4},"cited_work":{"arxiv_id":"2204.04274","doi":"10.48550/arxiv.2204.04274","metadata_source":"pith","pith_arxiv_id":"2204.04274","snapshot_observed_at":"2026-08-08T06:16:17.936174Z","title":"Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure","venue":"cs.LO","work_id":"d26eddc3-0225-496a-b91a-435e7505fb37","year":2022},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.514703Z"},"links":{"cited_paper":"/paper/2204.04274","citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:4f1febbc8569159354d164051247913ccfea40c6bd7d283454520d5a3523a81c","observation_id":"1ac51800-2e5f-41e8-ac9c-62d46f747b2a","resolution":{"observed_at":"2026-08-08T05:04:33.669697Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T05:04:33.525253Z","title":"Call-by-Name, Call-by-Value and 𝜆-Calculus","venue":null,"work_id":null,"year":1975},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.525253Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:45167ff817e96fb14ccc3c21302c0c73f1acf0e6e470310d83f0d5129a6ad870","observation_id":"0b09b3c0-ee64-44ee-af96-9c64cc77a72b","resolution":{"observed_at":"2026-08-08T05:04:33.525253Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2211.16484","last_updated":"2023-02-14T12:04:13Z","snapshot_observed_at":"2026-08-10T05:00:00.805563Z","submitted_at":"2022-11-29T18:54:14Z","title":"A Finite Axiomatisation of Finite-State Automata Using String Diagrams","version":3},"cited_work":{"arxiv_id":"2211.16484","doi":"10.48550/arxiv.2211.16484","metadata_source":"pith","pith_arxiv_id":"2211.16484","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"A Finite Axiomatisation of Finite-State Automata Using String Diagrams","venue":"cs.LO","work_id":"3df010f3-b9a4-4453-9a2b-147d04c85416","year":2022},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.529111Z"},"links":{"cited_paper":"/paper/2211.16484","citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:a7b2632b31673f6675cfe2ed788c673768b8b08fbf576af7591fc9710907761c","observation_id":"cfaba8f5-d02e-4188-beb9-30da48b5aed8","resolution":{"observed_at":"2026-08-08T05:04:33.643125Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.15035","last_updated":"2023-12-22T20:02:56Z","snapshot_observed_at":"2026-08-03T02:10:15.714264Z","submitted_at":"2023-12-22T20:02:56Z","title":"Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design","version":1},"cited_work":{"arxiv_id":"2312.15035","doi":"10.48550/arxiv.2312.15035","metadata_source":"pith","pith_arxiv_id":"2312.15035","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design","venue":"cs.PL","work_id":"8645e688-df0c-4e7a-88ec-b8773c776e5a","year":2023},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.533299Z"},"links":{"cited_paper":"/paper/2312.15035","citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:abba081ed52c0403f7d99775bdcf06c69721cbd16bb0ca2571c91b322bd0fc62","observation_id":"7d32f3f3-fe64-4b38-880e-34b1030c20d0","resolution":{"observed_at":"2026-08-08T05:04:33.628409Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"docview/3051995","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T05:04:34.115124Z","title":"The Necessity of Feedback in Minimal Monotone Combinational Circuits","venue":null,"work_id":"837f1ffb-3331-4773-b699-8f73ecc47025","year":2005},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.537448Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:9dbb5bfcf7c1818f21ec9c01dba5cdfb9c3afb60b2fa636a0f081253267d52e8","observation_id":"9d825ad0-3512-4fc1-9429-9b7da830f9fc","resolution":{"observed_at":"2026-08-08T05:04:34.121122Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1996.56483","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T05:04:34.035829Z","title":"A Survey of Graphical Languages for Monoidal Categories","venue":null,"work_id":"fb0684d7-3d75-4022-90b1-ab4f683b5cac","year":2006},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.541052Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:ad8a2cc3a3ff8853fe4ccad850389792c74331e0d40dc0a4937215f5ff1f33bd","observation_id":"b080f596-6901-48a0-98c2-94f56395b67f","resolution":{"observed_at":"2026-08-08T05:04:34.041274Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1542.11115","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T05:04:33.950724Z","title":"A Lattice-Theoretical Fixpoint Theorem and Its Applications","venue":null,"work_id":"d5dbc8e5-9f53-409d-9592-7095d476d9d8","year":1955},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.544820Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:05f5f8d733f0e77d21e832ec74d19052db7c2203400ec6541bd8b2ba4a3f6e13","observation_id":"7d88245a-a7a1-4832-b012-50ecd889b9b4","resolution":{"observed_at":"2026-08-08T05:04:33.956367Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.csl.2023.37","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Interacting Hopf Algebras: The Theory of Linear Systems","venue":"arXiv (Cornell University)","work_id":"14c40219-db66-4a44-9c03-54d02b456859","year":2023},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.552146Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:8bddfd57648b7f5898ae2d23e056b2d044be493f79a9e01990eb9b4e86dd4d61","observation_id":"5273fde8-c900-4b23-9bda-ff73f9c673a4","resolution":{"observed_at":"2026-08-08T05:04:33.601712Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1805.03032","last_updated":"2018-05-04T08:17:24Z","snapshot_observed_at":"2026-07-06T06:37:59.670205Z","submitted_at":"2018-05-04T08:17:24Z","title":"Interacting Hopf Algebras: the theory of linear systems","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1805.03032","snapshot_observed_at":"2026-08-08T05:04:33.555798Z","title":"Rewriting in Free Hypergraph Categories","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.555798Z"},"links":{"cited_paper":"/paper/1805.03032","citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:bacb0b5a7299dca9fad49d969e0c774ebfe2deb9b0756c6f07dc972a1980cf13","observation_id":"f8700c47-2db4-4130-899f-4e66313040ae","resolution":{"observed_at":"2026-08-08T05:04:33.555798Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1703.10247","last_updated":"2017-03-29T21:24:07Z","snapshot_observed_at":"2026-08-02T02:29:29.099785Z","submitted_at":"2017-03-29T21:24:07Z","title":"Diagrammatic Semantics for Digital Circuits","version":1},"cited_work":{"arxiv_id":"1703.10247","doi":null,"metadata_source":"pith","pith_arxiv_id":"1703.10247","snapshot_observed_at":"2026-08-08T05:04:34.325771Z","title":"Diagrammatic Semantics for Digital Circuits","venue":"cs.PL","work_id":"a8f4108a-6d89-4840-a031-13ce63021c74","year":2017},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.444326Z"},"links":{"cited_paper":"/paper/1703.10247","citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:f3f7cf3a486004b8308b6946245047e2fca8399370722005025c1490582d97a5","observation_id":"23fefb90-e41d-40bc-8b98-e9761c4642bd","resolution":{"observed_at":"2026-08-08T05:04:34.329894Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T05:04:33.283303Z","title":"ClaSH: Structural Descriptions of Synchronous Hardware Using Haskell","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.283303Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:b9d4c7a6be56a1fab468a114194aa96dc84b79d486aeef07dfb99ceb6c752cd0","observation_id":"83a84062-077a-4ab0-b8de-c30a41a261f9","resolution":{"observed_at":"2026-08-08T05:04:33.283303Z","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.4204/eptcs.172.18","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Lambda-Calculus Models of Programming Languages","venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"9ae5fdd8-d357-488d-a8ee-597efcdcea8a","year":2014},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":172,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.511455Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:0792aaf1b95d244ae8cac25bdb9f0bbffe32792b38cda23dca0b6a149eb411aa","observation_id":"4761ad2f-b53c-4641-84bf-d83461a19a53","resolution":{"observed_at":"2026-08-08T05:04:33.679335Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.csl.2023.6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Compositional Approach to Design of Digital Circuits","venue":"University of Birmingham Research Portal (University of Birmingham)","work_id":"243893b3-b3c2-48b1-bdc5-ffde0bc69677","year":2023},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":252,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.229216Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:db6166059ce0eabc25d84431d444ee000e8bc2c7b5e4820a3b20496135cdeed6","observation_id":"9c9cc476-caa4-4c03-a27a-984e4914293a","resolution":{"observed_at":"2026-08-08T05:04:33.859123Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.fscd.2023.14","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023, 14:1–14:21","venue":"University of Birmingham Research Portal (University of Birmingham)","work_id":"7c8da4d4-37a5-4200-8a1c-8fc8da8c4937","year":2023},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":260,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.448739Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:c1f7ed223e9774111cdabb190fc5253fe6b50cf0af4c9b5a4eae06b140703931","observation_id":"5bd71dd8-a518-4d7c-9618-0266ca591261","resolution":{"observed_at":"2026-08-08T05:04:33.792335Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/swat.1973.11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"The Calculi of Lambda-Nu-Cs Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages","venue":null,"work_id":"5ff91684-365e-437f-a547-abf63e51a74b","year":1973},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":1973,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.417940Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:0de5e8004abee3f30f4839084bdc61457831e6a66cc22beb40a59c2a34b256c1","observation_id":"4daea473-4d00-47ac-ba21-cc1fc82a2607","resolution":{"observed_at":"2026-08-08T05:04:33.814507Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-95279-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-09T00:03:45.533247Z","title":"String Diagrams for Non-Strict Monoidal Categories","venue":null,"work_id":"f05cffe3-d2d7-42bc-bc34-35fcffa3d504","year":null},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":1976,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.548314Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:c2465488c3876e5179ac5b828bc17dc618df2f2af65c11a662a02899bf510c1e","observation_id":"ae093a7e-2654-4bbc-84ad-76fa3713c072","resolution":{"observed_at":"2026-08-08T05:04:33.613376Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T05:04:33.508475Z","title":"Analysis of Cyclic Combinational Circuits","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":1978,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.508475Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:4171343f6e9aaa88a413f0b6e012733c37a71c2496acfec57e90f9a4db825ef0","observation_id":"e419ec6f-4110-4a47-a52e-d6070a20a41b","resolution":{"observed_at":"2026-08-08T05:04:33.508475Z","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.48456/tr-77","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Operational Equivalences for Untyped and Polymorphic Object Calculi","venue":"CL Technical Reports","work_id":"652c70ba-7d9f-45d6-9197-724eb2148ba6","year":null},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":1985,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.461536Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:d2e7fc80bcf7e02b081566632f5038316523901f9d87eb0909441b12bf551271","observation_id":"70d1c7ce-b039-4945-a81f-d88cc80e70e1","resolution":{"observed_at":"2026-08-08T05:04:33.770398Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-17945-3_12","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"A Reduction Semantics for Imperative Higher-Order Languages","venue":"Lecture notes in computer science","work_id":"259c5bde-f011-48a2-8297-64d492605b8e","year":1987},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":1987,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.429762Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:cc8c4634cb63bc5382534e82a9c905d2db334ee138e63cc5cc993ea93d7b0f5a","observation_id":"06f866ba-e712-4fb2-a1c9-21bfad70120d","resolution":{"observed_at":"2026-08-08T05:04:33.803399Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T05:04:34.607118Z","title":null,"venue":null,"work_id":"37ad3af0-c8e7-4737-ba5d-e3b8a5dd6b6a","year":1996},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":1988,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.473769Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:d14bac04d9ed49d1ad9d10c656e4b49b7ec52374de63ebb44490fbef173df660","observation_id":"8bbb4775-3c7e-499d-94aa-09ef6576c1a9","resolution":{"observed_at":"2026-08-08T05:04:34.610383Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2019.87858","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T05:04:34.578189Z","title":"Graphical Piecewise-Linear Algebra","venue":null,"work_id":"6ada2d46-de0c-4e77-ba31-5d95f4cfb9ba","year":null},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":1994,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.312451Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:4d68fdecac2ad62f5a5aebdab883a9a97efa95535ea6e192da1bd84a9bc6a7ec","observation_id":"2229f04b-fb19-4c01-998f-d4a0c570b64f","resolution":{"observed_at":"2026-08-08T05:04:34.587851Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T05:04:33.477443Z","title":"An Introduction to Partial Evaluation","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":1996,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.477443Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:c689a137adc7b33dafdaa8a43d248a6ac6977591accf23e5e1e41577cddf43d8","observation_id":"c5ab08a1-e056-4357-aa7e-28e318df9006","resolution":{"observed_at":"2026-08-08T05:04:33.477443Z","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-1-4471-0865-8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Construction of Pushout Complements in the Category of Hypergraphs","venue":null,"work_id":"bdd7217a-8318-4444-ba9f-b6334b806e22","year":null},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":1999,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.469541Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:79bae98e01061ac64c91664326350e38d1d7c1a9edd20895ea550d11a57786f2","observation_id":"049f2b99-ad02-48eb-883e-90810fd02309","resolution":{"observed_at":"2026-08-08T05:04:33.742997Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T05:04:33.518336Z","title":"Modular Hardware Design with Timeline Types","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":2000,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.518336Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:66a9c946d52c16efe1db44153ee9f67c77f39151f9191686047b9ad5d25b4603","observation_id":"a1c608ce-00fb-4abf-be20-ab1331816a3c","resolution":{"observed_at":"2026-08-08T05:04:33.518336Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.14598","last_updated":"2021-07-14T00:57:34Z","snapshot_observed_at":"2026-08-09T03:05:17.332014Z","submitted_at":"2020-04-30T06:19:18Z","title":"Sum frequency generation spectroscopy of the attachment disc of a spider","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.14598","snapshot_observed_at":"2026-08-08T05:04:33.521499Z","title":"A Category-Theoretic Approach to the Semantics of Programming Languages","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":2004,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.521499Z"},"links":{"cited_paper":"/paper/2004.14598","citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:ead4899ec5f67b9676c96230371d24bce2d205ca922b09ac7e72f316ffe6718d","observation_id":"58f2cbd3-a6ec-4824-990f-d4bb7397fe09","resolution":{"observed_at":"2026-08-08T05:04:33.521499Z","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-08T05:04:33.481433Z","title":"Simple Word Problems in Universal Algebras","venue":null,"work_id":null,"year":1970},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":2005,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.481433Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:7ba62b64413630facbe29afe53abe6b3aa07f3c388c53674c4039ae11b1837da","observation_id":"a7cdb675-6b51-4584-a6d7-72af71cfde0b","resolution":{"observed_at":"2026-08-08T05:04:33.481433Z","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/cbo9780511816239","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Coherence for Compact Closed Categories","venue":"Cambridge University Press eBooks","work_id":"4009688a-f1e5-466d-be76-f5de337f5a8e","year":1980},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.493816Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:39b9d28bf162996149051c07b7ed04cba91dfe16a6ae95fc589ff9fdc790253d","observation_id":"232feeb1-cbcd-43b6-9d10-462c74294488","resolution":{"observed_at":"2026-08-08T05:04:33.714599Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1203.0202","last_updated":"2012-03-22T10:57:10Z","snapshot_observed_at":"2026-08-01T08:43:13.851095Z","submitted_at":"2012-03-01T14:45:09Z","title":"Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1203.0202","snapshot_observed_at":"2026-08-08T05:04:33.485143Z","title":"Abstract Tensor Systems as Monoidal Categories","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.485143Z"},"links":{"cited_paper":"/paper/1203.0202","citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:f8fb823bea41af80c65a1dfdee87e1a1d3b4f3722155e354351f2824659b6bb4","observation_id":"dd8c1089-1ad8-457c-9936-f13fabd2ff9c","resolution":{"observed_at":"2026-08-08T05:04:33.485143Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1707.08321","last_updated":"2018-06-01T21:02:32Z","snapshot_observed_at":"2026-08-08T23:14:01.536453Z","submitted_at":"2017-07-26T08:45:47Z","title":"Props in Network Theory","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1707.08321","snapshot_observed_at":"2026-08-08T05:04:33.233514Z","title":"Feedback and Generalized Logic","venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.233514Z"},"links":{"cited_paper":"/paper/1707.08321","citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:2b150d3a069c666918b67b08a6f6047270367353422d66c2bf44ca50d724518a","observation_id":"88a56237-2690-46c5-9ce6-87c005f30c97","resolution":{"observed_at":"2026-08-08T05:04:33.233514Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1406.5942","last_updated":"2015-08-19T08:31:21Z","snapshot_observed_at":"2026-08-07T01:31:53.609298Z","submitted_at":"2014-06-23T15:25:28Z","title":"Finite matrices are complete for (dagger-)hypergraph categories","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1406.5942","snapshot_observed_at":"2026-08-08T05:04:33.489550Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.489550Z"},"links":{"cited_paper":"/paper/1406.5942","citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:cc8dc317063ce9edd0ca46077442bd4716e033637c9c31fc07bf51987d1e7104","observation_id":"e2d192ec-0bf5-440e-9efa-c798f39e02f3","resolution":{"observed_at":"2026-08-08T05:04:33.489550Z","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-08T05:04:33.329468Z","title":"Interacting Quantum Observables","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.329468Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:d90ac6b395dc2248bdfb0bb802fa1c96b123dfbf6522ba0b581818a00217e1c6","observation_id":"f8bd82fc-8de4-4b88-af30-6e8c20355163","resolution":{"observed_at":"2026-08-08T05:04:33.329468Z","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-08T05:04:33.359117Z","title":"Cartesian Bicategories I","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.359117Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:695c46cc3df4f2eb5546d952c4a2f0cc25b78a85553542b394ddb937b98b02a8","observation_id":"84a41d1a-7624-4aad-af79-73415aa8a823","resolution":{"observed_at":"2026-08-08T05:04:33.359117Z","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-08T05:04:34.595604Z","title":null,"venue":null,"work_id":"1019b859-79b9-4e12-ba49-875ed1568915","year":2022},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.501228Z"},"links":{"citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:fec428ef7fd7f90aee2fbca9957888e771cb300d2526fb8689e11c35d4e43fc6","observation_id":"c9325a8e-a9f7-433b-843b-0b4110005abc","resolution":{"observed_at":"2026-08-08T05:04:34.599364Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.18945","last_updated":"2024-12-04T17:17:51Z","snapshot_observed_at":"2026-08-05T12:36:44.353267Z","submitted_at":"2023-05-30T11:24:27Z","title":"String Diagrams for $\\lambda$-calculi and Functional Computation","version":3},"cited_work":{"arxiv_id":"2305.18945","doi":"10.48550/arxiv.2305.18945","metadata_source":"pith","pith_arxiv_id":"2305.18945","snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"String Diagrams for $\\lambda$-calculi and Functional Computation","venue":"cs.LO","work_id":"7a29fccf-611e-4366-8fba-b666892b3fe8","year":2023},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.465457Z"},"links":{"cited_paper":"/paper/2305.18945","citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:0767104a2cd8ce1ad062ff1293f0d0b3f9bc1e057bc350a74183483cc2ce0afc","observation_id":"7b4e1266-ada7-404f-9990-543a0bcda8f5","resolution":{"observed_at":"2026-08-08T05:04:33.758944Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.07055","last_updated":"2024-01-13T12:09:02Z","snapshot_observed_at":"2026-07-06T17:15:10.548959Z","submitted_at":"2024-01-13T12:09:02Z","title":"Diagrammatic Algebra of First Order Logic","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.07055","snapshot_observed_at":"2026-08-08T05:04:33.238154Z","title":"Categories in Control","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-08T05:04:33.238154Z"},"links":{"cited_paper":"/paper/2401.07055","citing_paper":"/paper/2502.08497"},"observation_digest":"sha256:04391475010f50b38726dfcc3a57aea13bf047f9d9158847a04b6b2ff16dc7e5","observation_id":"10281d2c-9f8b-49c6-a222-9ef1878e232f","resolution":{"observed_at":"2026-08-08T05:04:33.238154Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2502.08497","last_updated":"2025-02-12T15:32:52Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-09T15:43:33.510247Z","submitted_at":"2025-02-12T15:32:52Z","title":"Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics"},"reference_resolution":{"displayed":42,"state_counts":{"malformed_identifier":1,"metadata_mismatch":8,"parse_uncertain":0,"unresolved":18,"verified_exact":15,"verified_fuzzy":0},"total_outbound_references":42},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 1 inbound Pith citation observation for arXiv:2502.08497."}