Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Name: Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Brand: Springer London Ltd
SKU: 9781447111658
Price: 52.65 EUR
Availability: InStock

Автор: Guy McCusker

Език:

Корици: С меки корици

Издател: Springer London Ltd

Наличност: Външен склад

Изпращаме след 5-8 дни

52.65 € 102.98 лв

The Distinguished Dissertation series is published on behalf of the Conference of Professors and Hea...

Информация за книгата

Автор

Guy McCusker

Език

Английски език

Корици

Книга - С меки корици

Издадена

2012

страници

189

EAN

9781447111658

ISBN

1447111656

Enbook ID

02179355

Издател

Springer London Ltd

Теглоt

326

Размери

155 x 235 x 12

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също