7 citations · 45 across the 22 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.CT2022
String diagrams for Strictification and Coherence
Paul Wilson, Dan Ghica, Fabio Zanasi
Whereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict mo…
cs.LO2022★ 4 cited
A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
Dan R. Ghica, George Kaye, David Sprunger
Digital circuits, despite having been studied for nearly a century and used at scale for about half that time, have until recently evaded a fully compositional theoretical in which…