Higher order operational techniques in semantics
By: edited by Andrew D. Gordon and Andrew M. Pitts.
Contributors: Gordon, Andrew D.; Pitts, A. M.; Isaac Newton Institute for Mathematical Sciences.
Series: Publications of the Newton Institute ;; 12
Publisher: Cambridge University Press
Published: 1998
Place of publication: Cambridge, U.K; New York, NY, USA
Language: eng
Number of pages: 390
Subjects: Electronic data processing.; Programming languages (Electronic computers) -- Semantics.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references.
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, UK.
Logo on t.p.: HOOTS.