[Haskell-cafe] Re: Couple of formal questions

Dominic Steinitz dominic.steinitz at blueyonder.co.uk
Mon May 12 03:34:44 EDT 2008


Creighton Hogg <wchogg <at> gmail.com> writes:

between well-founded recursion & well-founded(?) corecursion?Where could I 
find a proof that the initial algebras & final coalgebras of CPO coincide?  I 

Creighton,

I started putting something together here. I'm not sure if it's what you are 
after and in any event it will now have to wait until the weekend.

Dominic.

http://idontgetoutmuch.wordpress.com/2008/05/12/isomorphic-types/



More information about the Haskell-Cafe mailing list