Higher order operational techniques in semantics

著者

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

書誌事項

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

注記

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

詳細情報

• NII書誌ID(NCID): BA35082413
• ISBN:
  • 0521631688
• LCCN: 97032339
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: vii, 390 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76
  • DC21 : 004/.01/5113
• 件名:
  • LCSH : Electronic data processing
  • LCSH : Programming languages (Electronic computers) -- Semantics
  • LCSH : Logic, Symbolic and mathematical
• 親書誌ID:
  • BA22465034