On 10/03/07, Joachim Breitner <mail@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@gmail.com