Creighton Hogg 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.
Do
Creighton Hogg 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
On Mon, May 5, 2008 at 9:53 AM, Wouter Swierstra <[EMAIL PROTECTED]> wrote:
>
> On 1 May 2008, at 16:58, Michael Karcher wrote:
>
> Wouter Swierstra <[EMAIL PROTECTED]> wrote:
> >
> > > Hi Creighton,
> > >
> > > > Where could I find a proof that the initial algebras & final
> > > > coalgebras of
On 1 May 2008, at 16:58, Michael Karcher wrote:
Wouter Swierstra <[EMAIL PROTECTED]> wrote:
Hi Creighton,
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.
Wouter Swierstra <[EMAIL PROTECTED]> wrote:
> Hi Creighton,
> > 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.
> I couldn't find the statement you