Gå direkt till innehållet
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Spara

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Författare:
inbunden, 1998
Engelska
Lägsta pris på PriceRunner
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.
Författare
Guy McCusker
ISBN
9783540762553
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
1998-06-01
Sidor
224