An edition of Higher Order Operational Techniques in Semantics (1998)

Higher order operational techniques in semantics

by , , and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Higher order operational techniques in semantics by edited by Andrew D. Gordon and Andrew M. Pitts.
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
November 26, 2020 | History
Edit
An edition of Higher Order Operational Techniques in Semantics (1998)

Higher order operational techniques in semantics

by , , and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Cambridge University Press
Language
English
Pages
390

Check nearby libraries

Buy this book

Subjects
Electronic data processing, Programming languages (electronic computers), Logic, symbolic and mathematical, Symbolic and mathematical Logic, Semantics, Programming languages (Electronic computers)

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Higher order operational techniques in semantics
Higher order operational techniques in semantics
1998, Cambridge University Press
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition 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.

Published in
Cambridge, U.K, New York, NY, USA
Series
Publications of the Newton Institute ;, 12

Classifications

Dewey Decimal Class
004/.01/5113
Library of Congress
QA76 .H479 1998

The Physical Object

Pagination
vii, 390 p. :
Number of pages
390

ID Numbers

Open Library
OL685469M
ISBN 10
0521631688
LCCN
97032339
Library Thing
1937614
Goodreads
4286726

Source records

Better World Books record
Library of Congress MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
November 26, 2020 Edited by MARC Bot import existing book
August 23, 2020 Created by ImportBot import existing book