Paper Citation Record · LEDGER

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics

As of 13 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 1 inbound Pith citation observation for arXiv:2502.08497.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2502.08497 v1

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-08T05:04:33.555798Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T21:36:33.522915Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

42 of 42 outbound references displayed

verified exact15
verified fuzzy0
unresolved18
parse uncertain0
malformed identifier1
metadata mismatch8

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 70fe3f4b-e29e-4fe6-9893-d28d4e08fb5f · outbound

This paper cites Open Graphs and Computational Reasoning.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Open Graphs and Computational Reasoning

Reference 1

Resolution: verified exact; local_arxiv, observed 2026-08-08T05:04:34.439973Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 172574a1-c3f5-4e2f-9d32-19e567b5b106 · outbound

This paper cites A Structural and Nominal Syntax for Diagrams.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics A Structural and Nominal Syntax for Diagrams

Reference 2

Resolution: verified exact; local_arxiv, observed 2026-08-08T05:04:34.312474Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 4b0c4869-ddd0-4675-ae8d-b849c75e84ee · outbound

This paper cites Categorical Semantics of Digital Circuits.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Categorical Semantics of Digital Circuits

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-08T05:04:33.438805Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34021dc2-ccff-49c1-8cd3-0954c6c79a77 · outbound

This paper cites A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-08T05:04:33.452502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2a61fe9-e393-4e8f-99f0-03a9fa8fb09e · outbound

This paper cites Decorated Cospans.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Decorated Cospans

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-08-08T05:04:34.422397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 23529ce5-e739-4ddb-93bb-e63a20e5e531 · outbound

This paper cites Feedback, Trace and Fixed-Point Semantics.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Feedback, Trace and Fixed-Point Semantics

Reference 26

Resolution: verified exact; doi, observed 2026-08-08T05:04:33.702963Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation bc3ca5b6-c8ac-4022-a312-850b085bd75f · outbound

This paper cites String Diagrams for Layered Explanations.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics String Diagrams for Layered Explanations

Reference 28

Resolution: metadata mismatch; local_arxiv, observed 2026-08-08T05:04:33.692911Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 1ac51800-2e5f-41e8-ac9c-62d46f747b2a · outbound

This paper cites Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Rewriting for Symmetric Monoidal Categories with Commutative (Co)Monoid Structure

Reference 31

Resolution: metadata mismatch; local_arxiv, observed 2026-08-08T05:04:33.669697Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 0b09b3c0-ee64-44ee-af96-9c64cc77a72b · outbound

This paper cites Call-by-Name, Call-by-Value and 𝜆-Calculus.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Call-by-Name, Call-by-Value and 𝜆-Calculus

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-08T05:04:33.525253Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfaba8f5-d02e-4188-beb9-30da48b5aed8 · outbound

This paper cites A Finite Axiomatisation of Finite-State Automata Using String Diagrams.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics A Finite Axiomatisation of Finite-State Automata Using String Diagrams

Reference 35

Resolution: metadata mismatch; local_arxiv, observed 2026-08-08T05:04:33.643125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 7d32f3f3-fe64-4b38-880e-34b1030c20d0 · outbound

This paper cites Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design

Reference 36

Resolution: metadata mismatch; local_arxiv, observed 2026-08-08T05:04:33.628409Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9d825ad0-3512-4fc1-9429-9b7da830f9fc · outbound

This paper cites The Necessity of Feedback in Minimal Monotone Combinational Circuits.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics The Necessity of Feedback in Minimal Monotone Combinational Circuits

Reference 37

Resolution: verified exact; raw_fallback, observed 2026-08-08T05:04:34.121122Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b080f596-6901-48a0-98c2-94f56395b67f · outbound

This paper cites A Survey of Graphical Languages for Monoidal Categories.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics A Survey of Graphical Languages for Monoidal Categories

Reference 38

Resolution: metadata mismatch; raw_fallback, observed 2026-08-08T05:04:34.041274Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 7d88245a-a7a1-4832-b012-50ecd889b9b4 · outbound

This paper cites A Lattice-Theoretical Fixpoint Theorem and Its Applications.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics A Lattice-Theoretical Fixpoint Theorem and Its Applications

Reference 39

Resolution: metadata mismatch; raw_fallback, observed 2026-08-08T05:04:33.956367Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5273fde8-c900-4b23-9bda-ff73f9c673a4 · outbound

This paper cites Interacting Hopf Algebras: The Theory of Linear Systems.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Interacting Hopf Algebras: The Theory of Linear Systems

Reference 41

Resolution: verified exact; doi, observed 2026-08-08T05:04:33.601712Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f8700c47-2db4-4130-899f-4e66313040ae · outbound

This paper cites Interacting Hopf Algebras: the theory of linear systems.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Interacting Hopf Algebras: the theory of linear systems

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-08T05:04:33.555798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23fefb90-e41d-40bc-8b98-e9761c4642bd · outbound

This paper cites Diagrammatic Semantics for Digital Circuits.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Diagrammatic Semantics for Digital Circuits

Reference 82

Resolution: verified exact; local_arxiv, observed 2026-08-08T05:04:34.329894Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 83a84062-077a-4ab0-b8de-c30a41a261f9 · outbound

This paper cites ClaSH: Structural Descriptions of Synchronous Hardware Using Haskell.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics ClaSH: Structural Descriptions of Synchronous Hardware Using Haskell

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-08T05:04:33.283303Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4761ad2f-b53c-4641-84bf-d83461a19a53 · outbound

This paper cites Lambda-Calculus Models of Programming Languages.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Lambda-Calculus Models of Programming Languages

Reference 172

Resolution: verified exact; doi, observed 2026-08-08T05:04:33.679335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9c9cc476-caa4-4c03-a27a-984e4914293a · outbound

This paper cites Compositional Approach to Design of Digital Circuits.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Compositional Approach to Design of Digital Circuits

Reference 252

Resolution: verified exact; doi, observed 2026-08-08T05:04:33.859123Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5bd71dd8-a518-4d7c-9618-0266ca591261 · outbound

This paper cites Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023, 14:1–14:21.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023, 14:1–14:21

Reference 260

Resolution: verified exact; doi, observed 2026-08-08T05:04:33.792335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 4daea473-4d00-47ac-ba21-cc1fc82a2607 · outbound

This paper cites The Calculi of Lambda-Nu-Cs Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics The Calculi of Lambda-Nu-Cs Conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages

Reference 1973

Resolution: verified exact; doi, observed 2026-08-08T05:04:33.814507Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation ae093a7e-2654-4bbc-84ad-76fa3713c072 · outbound

This paper cites String Diagrams for Non-Strict Monoidal Categories.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics String Diagrams for Non-Strict Monoidal Categories

Reference 1976

Resolution: verified exact; doi, observed 2026-08-08T05:04:33.613376Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e419ec6f-4110-4a47-a52e-d6070a20a41b · outbound

This paper cites Analysis of Cyclic Combinational Circuits.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Analysis of Cyclic Combinational Circuits

Reference 1978

Resolution: unresolved; no resolver link, observed 2026-08-08T05:04:33.508475Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70d1c7ce-b039-4945-a81f-d88cc80e70e1 · outbound

This paper cites Operational Equivalences for Untyped and Polymorphic Object Calculi.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Operational Equivalences for Untyped and Polymorphic Object Calculi

Reference 1985

Resolution: malformed identifier; doi_truncated, observed 2026-08-08T05:04:33.770398Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 06f866ba-e712-4fb2-a1c9-21bfad70120d · outbound

This paper cites A Reduction Semantics for Imperative Higher-Order Languages.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics A Reduction Semantics for Imperative Higher-Order Languages

Reference 1987

Resolution: verified exact; doi, observed 2026-08-08T05:04:33.803399Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 8bbb4775-3c7e-499d-94aa-09ef6576c1a9 · outbound

This paper cites an unresolved cited work.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Unresolved cited work

Reference 1988

Resolution: unresolved; raw_fallback, observed 2026-08-08T05:04:34.610383Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 2229f04b-fb19-4c01-998f-d4a0c570b64f · outbound

This paper cites Graphical Piecewise-Linear Algebra.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Graphical Piecewise-Linear Algebra

Reference 1994

Resolution: metadata mismatch; raw_fallback, observed 2026-08-08T05:04:34.587851Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation c5ab08a1-e056-4357-aa7e-28e318df9006 · outbound

This paper cites An Introduction to Partial Evaluation.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics An Introduction to Partial Evaluation

Reference 1996

Resolution: unresolved; no resolver link, observed 2026-08-08T05:04:33.477443Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 049f2b99-ad02-48eb-883e-90810fd02309 · outbound

This paper cites Construction of Pushout Complements in the Category of Hypergraphs.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Construction of Pushout Complements in the Category of Hypergraphs

Reference 1999

Resolution: verified exact; doi, observed 2026-08-08T05:04:33.742997Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation a1c608ce-00fb-4abf-be20-ab1331816a3c · outbound

This paper cites Modular Hardware Design with Timeline Types.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Modular Hardware Design with Timeline Types

Reference 2000

Resolution: unresolved; no resolver link, observed 2026-08-08T05:04:33.518336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58f2cbd3-a6ec-4824-990f-d4bb7397fe09 · outbound

This paper cites Sum frequency generation spectroscopy of the attachment disc of a spider.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Sum frequency generation spectroscopy of the attachment disc of a spider

Reference 2004

Resolution: unresolved; no resolver link, observed 2026-08-08T05:04:33.521499Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7cdb675-6b51-4584-a6d7-72af71cfde0b · outbound

This paper cites Simple Word Problems in Universal Algebras.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Simple Word Problems in Universal Algebras

Reference 2005

Resolution: unresolved; no resolver link, observed 2026-08-08T05:04:33.481433Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 232feeb1-cbcd-43b6-9d10-462c74294488 · outbound

This paper cites Coherence for Compact Closed Categories.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Coherence for Compact Closed Categories

Reference 2009

Resolution: verified exact; doi, observed 2026-08-08T05:04:33.714599Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation dd8c1089-1ad8-457c-9936-f13fabd2ff9c · outbound

This paper cites Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing

Reference 2012

Resolution: unresolved; no resolver link, observed 2026-08-08T05:04:33.485143Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88a56237-2690-46c5-9ce6-87c005f30c97 · outbound

This paper cites Props in Network Theory.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Props in Network Theory

Reference 2014

Resolution: unresolved; no resolver link, observed 2026-08-08T05:04:33.233514Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2d192ec-0bf5-440e-9efa-c798f39e02f3 · outbound

This paper cites Finite matrices are complete for (dagger-)hypergraph categories.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Finite matrices are complete for (dagger-)hypergraph categories

Reference 2015

Resolution: unresolved; no resolver link, observed 2026-08-08T05:04:33.489550Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8bd82fc-8de4-4b88-af30-6e8c20355163 · outbound

This paper cites Interacting Quantum Observables.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Interacting Quantum Observables

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-08T05:04:33.329468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84a41d1a-7624-4aad-af79-73415aa8a823 · outbound

This paper cites Cartesian Bicategories I.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Cartesian Bicategories I

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-08T05:04:33.359117Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9325a8e-a9f7-433b-843b-0b4110005abc · outbound

This paper cites an unresolved cited work.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Unresolved cited work

Reference 2022

Resolution: unresolved; raw_fallback, observed 2026-08-08T05:04:34.599364Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 7b4e1266-ada7-404f-9990-543a0bcda8f5 · outbound

This paper cites String Diagrams for $\lambda$-calculi and Functional Computation.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics String Diagrams for $\lambda$-calculi and Functional Computation

Reference 2023

Resolution: metadata mismatch; local_arxiv, observed 2026-08-08T05:04:33.758944Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 10281d2c-9f8b-49c6-a222-9ef1878e232f · outbound

This paper cites Diagrammatic Algebra of First Order Logic.

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics Diagrammatic Algebra of First Order Logic

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-08T05:04:33.238154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation c8946efe-7575-4189-bf54-10bf062f2c1d · inbound

Layered Monoidal Theories I: Diagrammatic Algebra and Applications cites this paper.

Layered Monoidal Theories I: Diagrammatic Algebra and Applications Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-02T21:36:33.522915Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.