Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Engelsk
Bogcover for Games and Full Abstraction for a Functional Metalanguage with Recursive Types af Guy McCusker, 9783540762553
Specifikationer
Sprog:
Engelsk
Sider:
224
ISBN-13:
9783540762553
Indbinding:
Hardback
ISBN-10:
3540762558
Kategori:
Udg. Dato:
1 jun 1998
Størrelse i cm:
24,0
Oplagsdato:
1 jun 1998
Forfatter(e):

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Engelsk
Hardback 1998
Format:

Bog beskrivelse
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.
... Vis mere

Hos Booktok
700 kr
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
224
ISBN-13:
9783540762553
Indbinding:
Hardback
ISBN-10:
3540762558
Kategori:
Udg. Dato:
1 jun 1998
Størrelse i cm:
24,0
Oplagsdato:
1 jun 1998
Forfatter(e):
Finder produkter...
Kategori sammenhænge