Searched for: department%3A%22Engineering%252C%255C%252BSystems%255C%252Band%255C%252BServices%22
(1 - 1 of 1)
document
Bonsangue, M.M. (author), Hansen, H.H. (author), Kurz, A. (author), Rot, J. (author)
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 equations, for the specification of well-behaved structural operational semantics and, more recently, also for enhancements of the bisimulation proof method. If T is a...
journal article 2015