articles which develop many of the themes introduced at the workshop on Higher Order Operational Techniques in Semantics (HOOTS) that took place in Oct. 1995 as part of a six-month programme on semantics of computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge. _ Preface.
Includes index.
OBNB doesn't sell books, but you may be able to find a copy at one of these websites:
Higher order operational techniques in semantics. ISBN 0521631688. Published by Cambridge University Press in 1998. Publication and catalogue information, links to buy online and reader comments.
