Quotients in monadic programming: Projective algebras are equivalent to coalgebras

Article Details
Title:	Quotients in monadic programming: Projective algebras are equivalent to coalgebras
Article URLs:	https://doi.org/10.1109/LICS.2017.8005110 http://doi.ieeecomputersociety.org/10.1109/LICS.2017.8005110
Alternative Article URLs:	https://arxiv.org/abs/1701.07601
Authors:	Dusko Pavlovic	University of Hawaii
Authors:	Peter-Michael Seidel	University of Hawaii
Sharing:	Research produced no artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1662487
DBLP Key:	conf/lics/PavlovicS17
Author Comments:

ACM/IEEE Logic in Computer Science, LICS 2017