Quotients in monadic programming: Projective algebras are equivalent to coalgebras.

Dusko Pavlovic, Peter-Michael Seidel

Browse the full LICS paper archive.