12 citations · 56 across the 23 of their papers we have counts for
1 paper · 2 filters
Tom Hirschowitz
We give a leisurely introduction to our abstract framework for operational semantics based on cellular monads on transition categories. Furthermore, we relate it for the first time…