Re: Couple of formal questions

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

Creighton,

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

Dominic.

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

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