Studiebog

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Guy McCusker

Bog E-bog

Format
Bog, hardback
Engelsk

Indgår i serie
CSCW Computer Supported Cooperative Work

Normalpris: kr. 719,95

Medlemspris: kr. 684,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 7-9 Hverdage (Sendes fra fjernlager)
Forventet levering: 22-10-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

1 Introduction.- 2 Preliminaries.- 3 Games.- 4 Rational Categories and Recursive Types.- 5 FPC and its Models.- 6 Full Abstraction.- 7 Conclusions.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal189
Udgivelsesdato22-06-1998
ISBN139783540762553
Forlag Springer
FormatHardback

Størrelse og vægt

Vægt472 g

Dybde1,3 cm

10 cm

15,6 cm

23,4 cm

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Findes i disse kategorier...