12 May
2008
12 May
'08
7:34 a.m.
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 Creighton, 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. Dominic. http://idontgetoutmuch.wordpress.com/2008/05/12/isomorphic-types/