Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations - Guy McCusker - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540762553 - June 1, 1998
In case cover and title do not match, the title is correct

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

Price
Íkr 13,709
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 16 - 30

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

This work develops a theory of game semantics, a setting for modelling and reasoning about sequential programming languages, suitable for interpreting higher-order functional languages with a rich type structure. It applies it to construct a fully abstract model of the metalanguage FPC.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released June 1, 1998
ISBN13 9783540762553
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 224
Dimensions 150 × 220 × 20 mm   ·   467 g
Language English  

Mere med samme udgiver

See all of Guy McCusker ( e.g. Paperback Book and Hardcover Book )