Higher order operational techniques in semantics

Author(s)

• Gordon, Andrew D.
• Pitts, A. M

Bibliographic Information

Higher order operational techniques in semantics

edited by Andrew D. Gordon and Andrew M. Pitts

（Publications of the Newton Institute, 12）

Cambridge University Press, c1998

Note

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

Details

• NCID: BA35082413
• ISBN:
  • 0521631688
• LCCN: 97032339
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: vii, 390 p.
• Size: 24 cm
• Classification:
  • LCC : QA76
  • DC21 : 004/.01/5113
• Subject Headings:
  • LCSH : Electronic data processing
  • LCSH : Programming languages (Electronic computers) -- Semantics
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA22465034