5 citations · 7 across the 5 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 1 cited
Free constructions and coproducts of d-frames
Tomáš Jakl, Achim Jung
A general theory of presentations for d-frames does not yet exist. We review the difficulties and give sufficient conditions for when they can be overcome. As an application we pro…
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…