When is a container a comonad (2012)

by D Ahman, J Chapman, T Uustalu
Venue:Proc. of 15th Int. Conf. on Foundations of Software Science and Computation Structures, FoSSaCS 2012 (Tallinn, March 2012), v.7213ofLect. Notes in Comput. Sci