Sciweavers

IANDC
2006
99views more  IANDC 2006»
13 years 11 months ago
Recursive coalgebras from comonads
We discuss Osius's [22] concept of a recursive coalgebra of a functor from the perspective of programming semantics and give some new sufficient conditions for the recursiven...
Venanzio Capretta, Tarmo Uustalu, Varmo Vene