Recursive coalgebras from comonads (0)

by V Capretta, T Uustalu, V Vene
Venue:Information and Computation