Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Name: Games and Full Abstraction for a Functional Metalanguage with Recursive Types
SKU: 9783540762553
Price: 1129 SEK
Availability: InStock
Author: Guy McCusker
ISBN: 9783540762553

Av Guy McCusker

1129 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Beskrivning

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

Produktinformation

Utgivningsdatum: 1998-06-01
Format: Inbunden
Språk: Engelska
Serie: Distinguished Dissertations
Antal sidor: 224
Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540762553

Utforska kategorier

3D-grafik och modellering
Programspråk
Optimering

Butikslager

Ej i lager i butik.

Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.