[Aldor-l] Hopf Algebra = Group + Monad

[Jacques Carette]

Bill Page wrote:
> In the context of co-algebra is seems a little strange to consider
> only programs that terminate.
>   
Indeed.  But in the context of co-algebras being able to only write 
programs which are productive does make a lot of sense.  And in a lot of 
recent research on process algebras and the like, productivity is a hot 
topic.  And, as we know, that is the natural dual to termination.

Jacques