Categorical Semantics of Digital Circuits Dan R. Ghica, Achim Jung University of Birmingham, UK Abstract—This paper proposes a categorical theory of digital circuits based on monoidal categories and graph rewriting. Th

First Page		Document Content
Date: 2016-08-30 09:47:27		Categorical Semantics of Digital Circuits Dan R. Ghica, Achim Jung University of Birmingham, UK Abstract—This paper proposes a categorical theory of digital circuits based on monoidal categories and graph rewriting. Th Add to Reading List Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 359,88 KB Share Document on Facebook