9 citations · 39 across the 19 of their papers we have counts for
1 paper · 1 filter
Jurriaan Rot, Bart Jacobs, Paul Levy
In the theory of coalgebras, trace semantics can be defined in various distinct ways, including through algebraic logics, the Kleisli category of a monad or its Eilenberg-Moore cat…