axiom-math
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-math] Re: [Aldor-l] Hopf Algebra = Group + Monad


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:
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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]