Algebras for Parameterised Monads

Robert Atkey. Algebras for Parameterised Monads. In Alexander Kurz, Marina Lenisa, Andrzej Tarlecki, editors, Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Volume 5728 of Lecture Notes in Computer Science, pages 3-17, Springer, 2009. [doi]

Abstract

Abstract is missing.