[TYPES] Terminology in operational semantics

[David Hopwood]

sanjiva at cse.iitd.ernet.in wrote:
> You can find on my home page http://www.cse.iit.ac.in/~sanjiva
> a pointer to an introductory chapter on Operational semantics,  which
> appears in a CRC Press Handbook for Compiler Design.

The above URL appears to be broken, but I found it at
<http://www.cse.iitd.ernet.in/~sanjiva/>.

-- 
David Hopwood <david.nospam.hopwood at blueyonder.co.uk>