TY  - RPRT
TI  - Quotients in monadic programming: Projective algebras are equivalent to coalgebras
AU  - Dusko Pavlovic
AU  - Peter-Michael Seidel
PY  - 2017
DO  - 10.1109/lics.2017.8005110
UR  - https://arxiv.org/abs/1701.07601
ID  - 1701.07601
ER  -