5 citations · 6 across the 2 of their papers we have counts for
2 papers
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.LO2016★ 1 cited
Join-continuity + Hypercontinuity = Prime continuity
Weng Kin Ho, Achim Jung, Dongsheng Zhao
A remarkable result due to Kou, Liu & Luo states that the condition of continuity for a dcpo can be split into quasi-continuity and meet-continuity. Their argument contained a gap,…