Thursday, 14 May 2015, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Abstract: In the Haskell developers community there is a controversy about the "right" axioms for the MonadPlus class or additive monads. I will discuss some additive(-like) classes of monads as types for computations for different flavors of finitary nondeterminism, looking also especially at the corresponding classes of Lawvere theories. Several of these are exotic and amusing too.