@misc{https___doi.org_10.48550_arxiv.2502.08497,
    doi = {10.48550/arxiv.2502.08497},
    url = {https://arxiv.org/abs/2502.08497},
    author = {Kaye, George},
    keywords = {Logic in Computer Science (cs.LO), Programming Languages (cs.PL), Category Theory (math.CT), Logic (math.LO), FOS: Computer and information sciences, FOS: Computer and information sciences, FOS: Mathematics, FOS: Mathematics},
    title = {Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics},
    publisher = {arXiv},
    year = {2025},
    copyright = {arXiv.org perpetual, non-exclusive license},
    date-added = {2025-4-18 18:30:23 +0100}
}

@misc{https___doi.org_10.48550_arxiv.2502.08497, doi = {10.48550/arxiv.2502.08497}, url = {https://arxiv.org/abs/2502.08497}, author = {Kaye, George}, keywords = {Logic in Computer Science (cs.LO), Programming Languages (cs.PL), Category Theory (math.CT), Logic (math.LO), FOS: Computer and information sciences, FOS: Computer and information sciences, FOS: Mathematics, FOS: Mathematics}, title = {Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics}, publisher = {arXiv}, year = {2025}, copyright = {arXiv.org perpetual, non-exclusive license}, date-added = {2025-4-18 18:30:23 +0100} }