{"as_of":"2026-08-09T03:15:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d5153421dfbea137136dc79afe9b4b67602cd16a780316118d64fd0189c8097c","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-08T06:32:00.761636+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-08T04:49:39.460418Z","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:73c5cae90f3e5b5e9ca250a144141f5bca9d32c772dce7290ab8979de5f32d0e","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-08T04:49:39.460418Z","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:c094968b948f8fcb3de6ce996bcab0293814929d2c3c74046a54b49059d41b3d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07-06T05:28:58.882304Z","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-08T04:49:39.460418Z","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:ec4991f17032c2ed38d4282aa2a7d0d7d1d81acf4b79ecf5bb0673199fe48609","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T04:49:39.460418Z","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:d66281b2e17e836c70c42005d8c88f8b1adc41f2ccdcd72bac818b6dfb483e96","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-08T04:49:39.460418Z","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:41269cee2c1ef176f50247e732a290a35860feb7b62f4d7b4a7b35fb394dfcff","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-04T23:34:56.473996Z","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-08T04:49:39.460418Z","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:08d5c7d99a9a12b5fac4d307ed70c02c24d36eacf25889e2701989f6976153f9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1051/ita:2002009","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T05:04:33.699122Z","title":"Feedback, Trace and Fixed-Point Semantics","venue":null,"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-08T04:49:39.460418Z","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:8172095b2a8fd320981f7782aa2f080efbdb13ebec2ff2494a1a6ecb02452929","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T06:16:17.936174Z","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-08T04:49:39.460418Z","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:87d89b65a1c443235475579667b24b6201c312ce3059239bb36c278f597df360","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-04T06:11:54.635031Z","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-08T04:49:39.460418Z","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:84c6bfa4e8668c037124229a5fc45cf4f384b062118846d5e0c132dc7e4ccb94","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T04:49:39.460418Z","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:3c9975ebb13a96b7be21b407d65c4be7b7c9cf56ab5b9ecaa067f26d10696307","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-07-06T14:24:41.980034Z","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-08T06:16:17.936174Z","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-08T04:49:39.460418Z","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:5c920443137891a4b347c4902d2a7f7dca70454a196f380b14d71984e130b9d8","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T06:16:17.936174Z","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-08T04:49:39.460418Z","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:38abf50556bb3719ef408cc6533650dfe7c2a8ca210f971f9dc5683e090a3f3a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T04:49:39.460418Z","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:3603e602a0dcada174ffc5577bf8abd2eaf6e627f8660c7ff65ffbc147e8646e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T04:49:39.460418Z","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:63e9b30e37f10a3f578ecc8100d4463fbdacc1e299675ac726023fa5c6cdcb0d","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T04:49:39.460418Z","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:0e7c10623d7ecf4bc89930abc8a3107bda60bd7a79616931a75ffa4f0c7d8394","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T05:04:33.595975Z","title":"Interacting Hopf Algebras: The Theory of Linear Systems","venue":null,"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-08T04:49:39.460418Z","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:e3ef0f20b927e45cc54dce557594deaa57280e7bb8a0bc11e73e9564fb5305f7","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T04:49:39.460418Z","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:e0023b14401073ce0712ee7cdb138076d2e67775290a9f88158735546967f627","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-08T04:49:39.460418Z","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:fca25688f3033d08b7fc8d1dcd0567b8cbdb6ae4911b723295964a75355d166b","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T04:49:39.460418Z","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:d5c4d960a0eb7ca780241501f3f3fc330ee796c25c9bdd1e2e169b95aaa2d3d7","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T05:04:33.676173Z","title":"Lambda-Calculus Models of Programming Languages","venue":null,"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-08T04:49:39.460418Z","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:3ccbeb2155ca4402b3371a864b66a3f560fa7fdc03eb43752b371ff5e4b7431a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T05:04:33.855402Z","title":"Compositional Approach to Design of Digital Circuits","venue":null,"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-08T04:49:39.460418Z","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:0371a769e01afb02568440f99413f5459497a0fb5644c64b0aee648175615251","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T05:04:33.787380Z","title":"Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023, 14:1–14:21","venue":null,"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-08T04:49:39.460418Z","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:4c0774b8cad2ebfa8b8a65da968b7b62efead697b77dd8073145d0ee5b204de1","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/swat.1973.11","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T05:04:33.810276Z","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-08T04:49:39.460418Z","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:c9f0296d4e126c956a0513a01fcda7f3a24e79addb37ca23a0653dc8c1ae1425","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T04:49:39.460418Z","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:dcd05df72562ccdee4dfc642d04b9537d0f8462844c3b3d268f3ccdcff217814","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T04:49:39.460418Z","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:7824c596087679f2c86208a932a14285cb6bb824c1c932d493d060efeeba8c4d","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T05:04:33.766362Z","title":"Operational Equivalences for Untyped and Polymorphic Object Calculi","venue":null,"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-08T04:49:39.460418Z","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:e13674a9ee27856e6ed616e046343efdf9ee22b322606614a04f2c1cf7eedff9","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T05:04:33.799422Z","title":"A Reduction Semantics for Imperative Higher-Order Languages","venue":null,"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-08T04:49:39.460418Z","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:ac09dd061eb2d28e932f2031f8f900cbd437e2237f317a985a264634353ed43a","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T04:49:39.460418Z","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:a9448960420e0a0d4ed766811a1454f2eb00a924854ece11e40d9f35c8e65694","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T04:49:39.460418Z","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:9139d1cb02ec67cba94be4bd2a8f46eae2b8ba6e2aa9992458a439c5cf7dc4bb","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T04:49:39.460418Z","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:21de69f7810e076360e4735b08bcacb8d0b613cce669c2b10fbc987e518250e4","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T05:04:33.739003Z","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-08T04:49:39.460418Z","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:98cb2153e3f74569aa4fa8f84c3f470faaa6738a2e4fb924236e2b355ada0b2e","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T04:49:39.460418Z","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:a00c7928a97fe2afb1f0377a4818a161b112cbb6e38d6c598fbafc09075468d0","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-08T04:49:39.460418Z","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:0de972c104e3cac1ca2dae05432bb2cebbdfbe950613052b5412dd49142c4e5b","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-08T04:49:39.460418Z","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:5266ae41ab6a4f3aae68704f78e1b0934ea0021231effa82f4d58f73014177a9","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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T05:04:33.710501Z","title":"Coherence for Compact Closed Categories","venue":null,"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-08T04:49:39.460418Z","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:87a8ce9f1fd9c5b251f73aa1222d3edd8edd1200d5c8bdbfc0ee37e67dc6907f","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T04:49:39.460418Z","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:af50698f98b5acc810583ba7b921ad6812199e76bd9d3b9d6571f99811b3d7a7","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-08T04:49:39.460418Z","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:907d8ebefafc4ead47711210cae354167864e4a2bbedea87a2630981b8503e83","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-08T04:49:39.460418Z","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:ec08ad10a15c7fd88d7fae07bc9f7a4c0bf9803cdde4bc7632daf09f1f48b6c9","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-08T04:49:39.460418Z","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:668e52386c7ee89864656f64f656023dac38d14f5e7ff08234fbfad041876b3b","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-08T04:49:39.460418Z","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:2f4caa058a4e20c9e2b08b71940e93c0862cac5f224cc6f70ecf92769b29ea5b","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-08T04:49:39.460418Z","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:8bee5312ded743dfbde941720b9a44d4afd5b3871dedd1c4db67886cc40d2dda","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T06:16:17.936174Z","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-08T04:49:39.460418Z","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:4d3f1657d6d8761ec6acbe4143f5b2d36539672acfa19aa57de59721ad33f593","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-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-08T04:49:39.460418Z","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:19e8bb50c64273240f1142aa65c5d39c71f12a1fb52af9bb5e710f0977d00d2a","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-08T04:49:39.460418Z","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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 1 inbound Pith citation observation for arXiv:2502.08497."}