When is a container a comonad?
Ahman, Danel
;
Chapman, James
;
Uustalu, Tarmo
Logical methods in computer science
2014
/
p. 1-48 : ill
https://doi.org/10.2168/LMCS-10(3:14)2014
https://www.scopus.com/sourceid/19700175752
https://www.scopus.com/record/display.uri?eid=2-s2.0-84908291183&origin=inward&txGid=3a9bf44be0ff74f7f537c2f41be9a2a6
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2014
https://www.webofscience.com/wos/woscc/full-record/WOS:000347714800024