2 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Daniel Luckhardt, Harsh Beohar, Sebastian Küpper
It is well known that Kleisli categories provide a natural language to model side effects. For instance, in the theory of coalgebras, behavioural equivalence coincides with languag…