Categorical semantics of digital circuits.

Dan R. Ghica, Achim Jung

Browse the full FMCAD paper archive.