TY - JOUR AU - Craig Pastro TI - Note on star-autonomous comonads JO - Theory and applications of categories PY - 2012 SP - 194 EP - 203 VL - 26 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/TAC_2012_26_a6/ LA - en ID - TAC_2012_26_a6 ER -