Games and Full Abstraction for a Functional Metalanguage with Recursive Types
by
Guy McCusker
Book Details
Format
Hardback or Cased Book
Book Series
Distinguished Dissertations
ISBN-10
3540762558
ISBN-13
9783540762553
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jun 1st, 1998
Print length
224 Pages
Ksh 12,950.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
1 Introduction.- 2 Preliminaries.- 3 Games.- 4 Rational Categories and Recursive Types.- 5 FPC and its Models.- 6 Full Abstraction.- 7 Conclusions.
Get Games and Full Abstraction for a Functional Metalanguage with Recursive Types by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG and it has pages.
