Games and Full Abstraction for a Functional Metalanguage with Recursive Types

By: Guy McCusker

Write A Review

Hardcover

At a Glance

Hardcover
208 Pages

Dimensions(cm)
23.39 x 15.6 x 1.27

Hardcover

$156.18

or 4 interest-free payments of $39.05 with

or

Aims to ship 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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Programming & Scripting Languages

Mathematical Foundations of Computer Science - Ashwin Lall

$129.75

19%
OFF

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

Paperback

RRP $152.00

$66.25

56%
OFF

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Paperback

RRP $95.00

$43.25

54%
OFF

Modern PHP

New Features and Good Practices

Paperback

RRP $57.00

$28.25

50%
OFF

From Social Science to Data Science

Key Data Collection and Analysis Skills in Python

Paperback

RRP $112.00

$99.25

11%
OFF

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Paperback

RRP $106.50

$47.75

55%
OFF

Analytics Engineering with SQL and Dbt

Building Meaningful Data Models at Scale

Paperback

RRP $125.50

$55.25

56%
OFF

Learning Modern C++ for Finance : Foundations for Quantitative Programming - Daniel Hanson

$66.25

56%
OFF

JavaScript Cookbook

Programming the Web 3rd Edition

Paperback

RRP $152.00

$66.25

56%
OFF

Python for Algorithmic Trading

From Idea to Cloud Deployment

Paperback

RRP $152.00

$66.25

56%
OFF

Head First C#

4th Edition

Paperback

RRP $133.00

$50.25

62%
OFF

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Paperback

RRP $106.50

$47.75

55%
OFF

Fluent C

Principles, Practices, and Patterns

Paperback

RRP $125.50

$55.25

56%
OFF

Hands-on Rust

Effective Learning through 2D Game Development and Play

Paperback

RRP $91.25

$41.75

54%
OFF

Definitive ANTLR 4 Reference

2nd Edition

Paperback

RRP $70.35

$33.25

53%
OFF

Typescript Cookbook

Real World Type-Level Programming

Paperback

RRP $125.50

$55.25

56%
OFF

Scaling Python with Dask

From Data Science to Machine Learning

Paperback

RRP $152.00

$66.25

56%
OFF

Learning Java

6th Edition - An Introduction to Real-World Programming with Java

Paperback

RRP $152.00

$66.25

56%
OFF

Learning Snowflake SQL and Scripting

Generate, Retrieve, and Automate Snowflake Data

Paperback

RRP $152.00

$66.25

56%
OFF

Effective Haskell

Solving Real-World Problems with Strongly Typed Functional Programming

Paperback

RRP $110.25

$48.95

56%
OFF

Apprenticeship Patterns

O'Reilly Ser.

Paperback

RRP $57.00

$28.25

50%
OFF

Introduction	p. 1
Preliminaries	p. 9
Games	p. 17
Rational Categories and Recursive Types	p. 67
FPC and its Models	p. 109
Full Abstraction	p. 139
Conclusions	p. 171
Bibliography	p. 175
Table of Contents provided by Blackwell. All Rights Reserved.

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

Mathematical Foundations of Computer Science

Mathematical Foundations of Computer Science

C++ How to Program, Global Edition

11th Edition

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

Learning Agile

Understanding Scrum, XP, Lean, and Kanban

Modern PHP

New Features and Good Practices

From Social Science to Data Science

Key Data Collection and Analysis Skills in Python

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Analytics Engineering with SQL and Dbt

Building Meaningful Data Models at Scale

Learning Modern C++ for Finance

Foundations for Quantitative Programming

Functional Programming with C#

Create More Supportable, Robust, and Testable Code

JavaScript Cookbook

Programming the Web 3rd Edition

Python for Algorithmic Trading

From Idea to Cloud Deployment

Head First C#

4th Edition

Flask Web Development, 2nd Edition

Developing Web Applications with Python

Fluent C

Principles, Practices, and Patterns

Hands-on Rust

Effective Learning through 2D Game Development and Play

Definitive ANTLR 4 Reference

2nd Edition

Typescript Cookbook

Real World Type-Level Programming

Scaling Python with Dask

From Data Science to Machine Learning

Learning Java

6th Edition - An Introduction to Real-World Programming with Java

Learning Snowflake SQL and Scripting

Generate, Retrieve, and Automate Snowflake Data

Effective Haskell

Solving Real-World Problems with Strongly Typed Functional Programming

Apprenticeship Patterns

O'Reilly Ser.

This product is categorised by

Popular Searches