[TYPES] Terminology in operational semantics

David Hopwood david.nospam.hopwood at blueyonder.co.uk
Thu Feb 17 19:03:56 EST 2005

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

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

More information about the Types-list mailing list