|
From: | Jacques Carette |
Subject: | [Axiom-math] Re: [Aldor-l] Hopf Algebra = Group + Monad |
Date: | Sat, 09 Aug 2008 09:13:39 -0400 |
User-agent: | Thunderbird 2.0.0.16 (Windows/20080708) |
Bill Page wrote:
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.In the context of co-algebra is seems a little strange to consider only programs that terminate.
Jacques
[Prev in Thread] | Current Thread | [Next in Thread] |