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

[Matthew Richards]

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