| Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations) |  | Author: Guy McCusker
Publisher: Springer
Category: Book
List Price: $136.00
Buy New: $68.00
as of 5/22/2012 17:03 HKT details
You Save: $68.00 (50%)
New (11) Used (9) from $23.00
Seller: Wiltonbooks
Sales Rank: 4,494,320
Languages: English (Unknown), English (Original Language), English (Published)
Media: Hardcover
Edition: 1
Pages: 189
Number Of Items: 1
Shipping Weight (lbs): 0
Dimensions (in): 9.5 x 6.3 x 0.8
ISBN: 3540762558
EAN: 9783540762553
ASIN: 3540762558
Publication Date: July 31, 1998
Availability: Usually ships in 1-2 business days
| |
| Also Available In:
| |
| Editorial Reviews:
Product Description
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.
|
| |
|
|
|
CERTAIN CONTENT THAT APPEARS ON THIS SITE COMES FROM AMAZON SERVICES LLC. THIS CONTENT IS PROVIDED ‘AS IS’ AND IS SUBJECT TO CHANGE OR REMOVAL AT ANY TIME. Powered By Kam Media, LLC | |
