1 citations · 3 across the 7 of their papers we have counts for
1 paper · 2 filters
Chad Nester, Niels Voorneveld
We present a term rewriting system that models the dynamic aspects of the free cornering with protocol choice of a monoidal category, which has been proposed as a categorical model…