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

This book is on page /88f0ff300130a9332bf7ee8997e69000/book/1603728784-9783540762553. It was written by the following authors: Guy McCusker. Book Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations, which can be read online, published by the company: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG. Other books on similar topics can be found in sections: Science, Computing, Internet, Technology, Medicine. The book was published on 1998-06-01 00:00:00. It has 224 pages and is published in Hardback format and weight g. File for download Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations has PDF format and is called games-and-full-abstraction-for-a-functional-metalanguage-with-recursive-types-distinguished-dissertations.pdf. Other books you can download below. Our nottedeiricercatoriaq.it site is not responsible for the content of PDF files.


How to download book Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations?

1. Select the button you need.
2. Go to the file view page.
3. The link to the file will be available if you are logged into your account.
4. If you don't have an account, click Subscribe.
5. Enjoy your favorite book.

Related
  • Books Download
  • eBooks PDF
  • Books PDF
  • Read Books