16 citations · 32 across the 9 of their papers we have counts for
4 papers · 1 filter
Metacat: a categorical framework for formal systems
Paul Wilson
We present a categorical framework for formal systems in which inference rules with metavariables over a category of syntax , taken to be a cartesian PROP, are rep…
Data-Parallel Algorithms for String Diagrams
Paul Wilson, Fabio Zanasi
We give parallel algorithms for string diagrams represented as structured cospans of ACSets. Specifically, we give linear (sequential) and logarithmic (parallel) time algorithms fo…
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…
The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition
Paul Wilson, Fabio Zanasi
String diagrams are an increasingly popular algebraic language for the analysis of graphical models of computations across different research fields. Whereas string diagrams have b…