43 citations · 305 across the 30 of their papers we have counts for
1 paper · 2 filters
Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz +1
Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive e…