[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 


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.



More information about the Haskell-Cafe mailing list