5 citations · 8 across the 6 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 5 cited
Diagrammatic Semantics for Digital Circuits
Dan R. Ghica, Achim Jung, Aliaume Lopez
We introduce a general diagrammatic theory of digital circuits, based on connections between monoidal categories and graph rewriting. The main achievement of the paper is conceptua…
cs.PL2017★ 3 cited
A Structural and Nominal Syntax for Diagrams
Dan R Ghica, Aliaume Lopez
The correspondence between monoidal categories and graphical languages of diagrams has been studied extensively, leading to applications in quantum computing and communication, sys…