%0 Conference Proceedings %F badouel92 %A Badouel, Eric %T Algebraic semantics and monad theory %B The unified computation laboratory %P 63-75 %D 1992