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