[CST-2] OptComp - Effect Systems...

[Phebe Mann]

Matthew is correct, my notes copied from the board is t and not t' also

Phebe

On Sat, 26 May 2001, Matthew Richards wrote:

> I think in the lecture he drew the rule on the board *without* the dash - so
> it is a typo.
>
> Matthew
>
>
> > -----Original Message-----
> > From: cst-2-admin@srcf.ucam.org [mailto:cst-2-admin@srcf.ucam.org]On
> > Behalf Of Raymond Chan
> > Sent: Saturday, May 26, 2001 5:38 PM
> > To: cst-2@srcf.ucam.org
> > Subject: Re: [CST-2] OptComp - Effect Systems...
> >
> >
> > Ooops, I meant "Effect Systems" in the subject line (like it mattered)...
> >
> > ----- Original Message -----
> > From: "Raymond Chan" <rwlc3@cam.ac.uk>
> > To: <cst-2@srcf.ucam.org>
> > Sent: Saturday, May 26, 2001 5:36 PM
> > Subject: [CST-2] OptComp - Type Systems...
> >
> >
> > > Is there a typo on page 25 of the OptComp notes, in the (COND) rule? If
> > not
> > > could someone explain it to me...
> > >
> > > There's t on the top line of the rule, and t' on the bottom
> > line - and no
> > > obvious way to link t and t' ? I seem to remember (from last term) that
> > when
> > > doing proofs using it, t=t' usually works? So should the dash
> > be there? I
> > > might e-mail Dr. Mycroft if no-one knows...
> > >
> > > Mond
> > >
> > >
> > >
> > >
> > > _______________________________________________
> > > CST-2 mailing list
> > > CST-2@srcf.ucam.org
> > > http://www.srcf.ucam.org/mailman/listinfo/cst-2
> > >
> >
> >
> >
> > _______________________________________________
> > CST-2 mailing list
> > CST-2@srcf.ucam.org
> > http://www.srcf.ucam.org/mailman/listinfo/cst-2
>
>
>
> _______________________________________________
> CST-2 mailing list
> CST-2@srcf.ucam.org
> http://www.srcf.ucam.org/mailman/listinfo/cst-2
>