Inbunden, Engelska, 1998
Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Av Guy McCusker
890 kr
Skickas inom 10-15 vardagar
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
- Antal sidor: 224
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Serie: Distinguished Dissertations
- ISBN: 9783540762553
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.