111 citations · 210 across the 11 of their papers we have counts for
1 paper · 1 filter
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…