Games and Full Abstraction for a Functional Metalanguage with Recursive Types : Distinguished Dissertations - Guy McCusker

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

By: Guy McCusker

Hardcover

At a Glance

Hardcover


$139.75

or 4 interest-free payments of $34.94 with

 or 

Ships in 7 to 10 business days

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.

More in Game Theory

The Infinite Game : From the bestselling author of Start With Why - Simon Sinek
How to Win At Chess : The Ultimate Guide for Beginners and Beyond - Levy Rozman
This Is Chaos : Embracing the Future of Magic - Hagen von Tulien

RRP $39.99

$33.75

16%
OFF
Game Theory : 2nd edition - Michael Maschler

RRP $113.95

$90.75

20%
OFF
The Video Games Textbook : History • Business • Technology - Brian J. Wardyga
Beautiful Security : When Science Meets Cybersecurity - Matthias Muhlert
Epistemic Genres : New Formations of Play - Betsy  Brey

RRP $190.00

$167.99

12%
OFF
Emerging Genres : New Formations of Games - Betsy  Brey

RRP $190.00

$167.99

12%
OFF
Stone Soup Strategy : A Guide to Successful Innovation - Kenneth Lowe
Stone Soup Strategy : A Guide to Successful Innovation - Kenneth Lowe
A Course in Behavioral Economics : 3rd edition - Erik  Angner

RRP $99.99

$83.75

16%
OFF
Borel Games - Eilon Solan

Hardcover

RRP $158.00

$102.75

35%
OFF
The Score : How to Stop Playing Someone Else's Game - C. Thi Nguyen