[Haskell-cafe] Church Encoding Function

David House dmhouse at gmail.com
Sat Mar 10 12:58:17 EST 2007

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

More information about the Haskell-Cafe mailing list