403 citations · 1.6k across the 34 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2022
A Category of Surface-Embedded Graphs
Malin Altenmüller, Ross Duncan
We introduce a categorical formalism for rewriting surface-embedded graphs. Such graphs can represent string diagrams in a non-symmetric setting where we guarantee that the wires d…
cs.LO2016
Interacting Frobenius Algebras are Hopf
Ross Duncan, Kevin Dunne
Theories featuring the interaction between a Frobenius algebra and a Hopf algebra have recently appeared in several areas in computer science: concurrent programming, control theor…
cs.LO2010★ 6 cited
Open Graphs and Computational Reasoning
Lucas Dixon, Ross Duncan, Aleks Kissinger
We present a form of algebraic reasoning for computational objects which are expressed as graphs. Edges describe the flow of data between primitive operations which are represented…