Inbunden, Engelska, 1998
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Av Guy McCusker
879 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 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
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.