Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

by Guy McCusker
     
 

View All Available Formats & Editions

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… See more details below

Overview

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.

Read More

Product Details

ISBN-13:
9781447111658
Publisher:
Springer London
Publication date:
12/31/2013
Series:
Distinguished Dissertations Series
Edition description:
Softcover reprint of the original 1st ed. 1998
Pages:
189
Product dimensions:
6.14(w) x 9.21(h) x 0.44(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >