Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Guy McCusker
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998
100,95 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9783540762553
- ISBN-10
- 3540762558
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 1998
- Publication date
- 1998-06-01
- Pages
- 224
- Dimensions
- 240xx