[Haskell-cafe] Couple of formal questions

[Creighton Hogg]

Hello Haskell,
So there's two questions that have been bothering me lately & while they
are, as usual, a little off topic I figured this might be a good forum:

Where could I find a good treatment on data vs. codata & the difference
between well-founded recursion & well-founded(?) corecursion?

Where could I find a proof that the initial algebras & final coalgebras of
CPO coincide?  I saw this referenced in the "Bananas.." paper as a fact, but
am not sure where this comes from.

Thanks,
Creighton Hogg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080429/08c938d3/attachment.htm