TY  - RPRT
TI  - Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
AU  - George Kaye
PY  - 2025
UR  - https://arxiv.org/abs/2502.08497
ID  - 2502.08497
ER  -