Couple of formal questions

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

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@...
http://www.haskell.org/mailman/listinfo/haskell-cafe