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

[Raymond Chan]

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
>