79 citations · 222 across the 14 of their papers we have counts for
1 paper · 1 filter
Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski +1
Turi and Plotkin's bialgebraic semantics is an abstract approach to specifying the operational semantics of a system, by means of a distributive law between its syntax (encoded as…