Games and Full Abstraction for a Functional Metalanguage with Recursive Types (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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Distinguished Dissertations
Release date:	2001
First published:	July 1998
Authors:	Guy McCusker
Dimensions:	240mm (L)
Format:	Hardcover
Pages:	224
ISBN-13:	978-3-540-76255-3
Categories:	Books > Computing & IT > Applications of computing > Computer modelling & simulation Books > Science & Mathematics > Mathematics > Optimization > Game theory Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Computer software packages > Computer graphics software > General Promotions
LSN:	3-540-76255-8
Barcode:	9783540762553

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!