Data & IT
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Guy McCusker
Inbunden
1149:-
Uppskattad leveranstid 10-16 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 749:-
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.
- Format: Inbunden
- ISBN: 9783540762553
- Språk: Engelska
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG