Items related to Games and Full Abstraction for a Functional Metalanguage...
Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations) - Hardcover
The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and The British Computer Society, who annually select the best British PhD dissertations in computer science for publication. The dissertations are selected on behalf of the CPHC by a panel of eight academics. Each dissertation chosen makes a noteworthy contribution to the subject and reaches a high standard of exposition, placing all results clearly in the context of computer science as a whole. In this way computer scientists with significantly different interests are able to grasp the essentials - or even find a means of entry - to an unfamiliar research topic. This book develops a theory of game semantics, a recently discovered setting for modelling and reasoning about sequential programming languages, suitable for interpreting higher-order functional languages with rich type structure, and applies it to constr uct a fully abstract model of the metalanguage FPC.
"synopsis" may belong to another edition of this title.
Synopsis:
This work develops a theory of game semantics, a setting for modelling and reasoning about sequential programming languages, suitable for interpreting higher-order functional languages with a rich type structure. It applies it to construct a fully abstract model of the metalanguage FPC.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date1998
- ISBN 10 3540762558
- ISBN 13 9783540762553
- BindingHardcover
- Number of pages208
Buy New
Learn more about this copy
£ 41.66
Shipping:
£ 3.19
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Games and Full Abstraction for a Functional Metalanguage With Recursive Types
Seller:
Rating
Book Description Condition: New. pp. 189 1st Edition. Seller Inventory # 26506824
Buy New
£ 41.66
Convert currency
Stock Image
Games and Full Abstraction for a Functional Metalanguage With Recursive Types
Seller:
Rating
Book Description Condition: New. pp. 189. Seller Inventory # 7341079
Buy New
£ 44.24
Convert currency
Stock Image
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Seller:
Rating
Book Description Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT23-193612
Buy New
£ 68.69
Convert currency
Stock Image
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery.This item may ship from the US or other locations in India depending on your location and availability. Seller Inventory # ABTR-220182
Buy New
£ 68.69
Convert currency
Stock Image
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Seller:
Rating
Book Description Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. This item may ship from the US or our Overseas warehouse depending on your location and stock availability. We Ship to PO BOX Location also. Seller Inventory # ABRR-220182
Buy New
£ 71.07
Convert currency
Seller Image
Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations) [Hardcover ]
Print on Demand
Seller:
Rating
Book Description Hardcover. Condition: new. This item is printed on demand. Seller Inventory # 9783540762553
Buy New
£ 86.21
Convert currency
Stock Image
Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations)
Seller:
Rating
Book Description Condition: New. Book is in NEW condition. Seller Inventory # 3540762558-2-1
Buy New
£ 111.98
Convert currency
Stock Image
Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations)
Seller:
Rating
Book Description Condition: New. New! This book is in the same immaculate condition as when it was published. Seller Inventory # 353-3540762558-new
Buy New
£ 111.98
Convert currency
Seller Image
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Published by
Springer, Berlin
(1998)
ISBN 10: 3540762558
ISBN 13: 9783540762553
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and The British Computer Society, who annually select the best British PhD dissertations in computer science for publication. The dissertatio. Seller Inventory # 908122542
Buy New
£ 98.96
Convert currency