Recursive coalgebras from comonads (2006)

by Venanzio Capretta, Tarmo Uustalu, Varmo Vene
Venue:Inform. and Comput