[Haskell-cafe] Re: Couple of formal questions

Dominic Steinitz dominic.steinitz at blueyonder.co.uk
Sat May 17 05:32:02 EDT 2008

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

> 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


As promised and I hope this is what you were after.



More information about the Haskell-Cafe mailing list