[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: CSPP - dressed semantics.

To: J.Sunter@xxxxxxxxxxxxxxxxxxxx (J.Sunter)
Subject: Re: CSPP - dressed semantics.
From: Adrian Lawrence <adrian.lawrence@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Date: Thu, 8 Apr 1999 21:01:42 +0100 (BST)
Cc: occam-com@xxxxxxxxx
In-reply-to: <370C4F71.7EE83FE0@xxxxxxxxxxxxxxxxxxxx> from "J.Sunter" at "Apr 8, 1999 08:40:49 am"

J.Sunter writes:
> > of my WoTUG-22 paper presents this and can be collected from
> >         ftp://ftp.ox.ac.uk/pub/users/adrian/csppw22.ps.gz .

Thanks Johan,

I actually did a download myself to check things before posting, but still
didn't notice that I had omitted an "r":- 
	ftp://ftp.ox.ac.uk/pub/users/adrian/csppw22r.ps.gz

> > Not checked: please let me know if you find errors.

I found one: an (E,e) instead of (e,E) in one of the definitions. :-)
I might even correct it later.

Adrian
-- 
A E Lawrence, MA., DPhil.  	adrian.lawrence@xxxxxxxxxxxxxx
MicroProcessor Unit, 13, Banbury Road, Oxford. OX2 6NN. UK.                
Voice: (+44)-1865-273274,  Fax: (+44)-1865-273275

Prev by Date: CSPP - dressed semantics.
Next by Date: SIMPL
Previous by thread: CSPP - dressed semantics.
Next by thread: SIMPL
Index(es):
- Date
- Thread