On 10/03/07, Joachim Breitner <mail at joachim-breitner.de> wrote:
> Is there a name for these functions? "Characteristic Church Encoding
> Functions" maybe? Are there more than these:
Catamorphisms is indeed the name I've heard.
--
-David House, dmhouse at gmail.com