Powermonads and Tensors of Unranked Effects

Sergey Goncharov, Lutz Schröder. Powermonads and Tensors of Unranked Effects. In Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada. pages 227-236, IEEE Computer Society, 2011. [doi]

Abstract

Abstract is missing.