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
_______________________________________________
Axiom-math mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-math
