Fetching the paper…
Reading the bibliography…
We introduce a general diagrammatic theory of digital circuits, based on connections between monoidal categories and graph rewriting.
An abstract machine for designers of computing languages
P. J. Landin · 1965
Earlier work this paper cites.
Automata in general algebras
S. Eilenberg and J. B. Wright · 1967
Earlier work this paper cites.
Monadic computation and iterative algebraic theories
C. C. Elgot · 1975
Earlier work this paper cites.
muFP, A language for VLSI design
M. Sheeran · 1984
Earlier work this paper cites.
Towards a new algebraic foundation of flowchart scheme theory
V. E. Căzănescu and G. Ştefănescu · 1990
Earlier work this paper cites.
The geometry of tensor calculus, i
A. Joyal and R. Street · 1991
Earlier work this paper cites.
Analysis of digital circuits through symbolic reduction
R. P. Kurshan and K. L. McMillan · 1991
Earlier work this paper cites.
Retiming synchronous circuitry
C. E. Leiserson and J. B. Saxe · 1991
Earlier work this paper cites.
IEEE Std 1164-1993
IEEE standard multivalue logic system for VHDL model interoperability (std_logic_1164) · 1993
Earlier work this paper cites.
Iteration Theories: The Equational Logic of Iterative Processes
S. L. Bloom and Z. Ésik · 1993
Earlier work this paper cites.
Tutorial notes on partial evaluation
C. Consel and O. Danvy · 1993
Earlier work this paper cites.
Pipelining and transposing heterogeneous array designs
W. Luk · 1993
Cited alongside, same era.
Analysis of cyclic combinational circuits
S. Malik · 1993
Cited alongside, same era.
Traced monoidal categories
A. Joyal, R. Street, and D. Verity · 1996
Cited alongside, same era.
Algebraic approaches to graph transformation-part i: Basic concepts and double pushout approach
A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe · 1997
Cited alongside, same era.
Models of Sharing Graphs: A Categorical Semantics of let and letrec
M. Hasegawa · 1999
Cited alongside, same era.
Generalising monads to arrows
J. Hughes · 2000
Cited alongside, same era.
A structural approach to operational semantics
G. D. Plotkin · 2004
Later among the works it cites.
A survey of graphical languages for monoidal categories
P. Selinger · 2010
Later among the works it cites.
A. Kissinger · 2011
Later among the works it cites.
Constructive boolean circuits and the exactness of timed ternary simulation
M. Mendler, T. R. Shiple, and G. Berry · 2012
Later among the works it cites.
Diagrammatic reasoning for delay-insensitive asynchronous circuits
D. R. Ghica · 2013
Later among the works it cites.
Full abstraction for signal flow graphs
F. Bonchi, P. Sobocinski, and F. Zanasi · 2015
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
A. Simpson and G. Plotkin · 2000
Cited alongside, same era.
Functional reactive programming from first principles
Z. Wan and P. Hudak · 2000
Cited alongside, same era.
The uniformity principle on traced monoidal categories
M. Hasegawa · 2002
Cited alongside, same era.
A categorical semantics of quantum protocols
S. Abramsky and B. Coecke · 2004
Cited alongside, same era.
Composing PROPs
S. Lack · 2004
Cited alongside, same era.
Rewriting modulo symmetric monoidal structure
F. Bonchi, F. Gadducci, A. Kissinger, P. Sobocinski, and F. Zanasi · 2016
Later among the works it cites.
Lawvere categories as composed props
F. Bonchi, P. Sobocinski, and F. Zanasi · 2016
Later among the works it cites.
Categorical semantics of digital circuits
D. R. Ghica and A. Jung · 2016
Later among the works it cites.
Strongly normalising cyclic data computation by iteration categories of second-order algebraic theories
M. Hamana · 2016
Later among the works it cites.