Re: [Haskell-cafe] Church Encoding Function

10 Mar 2007


      On 10/03/07, Joachim Breitner  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