bokomslag Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Data & IT

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Guy McCusker

Inbunden

1149:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

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
  • Format: Inbunden
  • ISBN: 9783540762553
  • Språk: Engelska
  • Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG