Sciweavers

Share
IANDC
2006

Recursive coalgebras from comonads

8 years 7 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 recursiveness of a functor-coalgebra that are based on comonads, comonad-coalgebras and distributive laws.
Venanzio Capretta, Tarmo Uustalu, Varmo Vene
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where IANDC
Authors Venanzio Capretta, Tarmo Uustalu, Varmo Vene
Comments (0)
books