Comonadic notions of computation (0)

by T Uustalu, V Vene
Venue:ENTCS