18 citations · 50 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019★ 3 cited
A Complete Language for Faceted Dataflow Programs
Antonin Delpeuch
We present a complete categorical axiomatization of a wide class of dataflow programs. This gives a three-dimensional diagrammatic language for workflows, more expressive than the…
cs.LO2018★ 8 cited
Normalization for planar string diagrams and a quadratic equivalence algorithm
Antonin Delpeuch, Jamie Vicary
In the graphical calculus of planar string diagrams, equality is generated by exchange moves, which swap the heights of adjacent vertices. We show that left- and right-handed excha…