Name: Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Price: 1119.00 NOK
Availability: InStock
Author: G McCusker
ISBN: 9783540762553

Games and Full Abstraction for a Functional Metalanguage with Recursive Types av G McCusker

Du sparer 0% ift. ordinær pris Spar 0%

Bok, Hardback
2-4 uker
1 119,-

Om Games and Full Abstraction for a Functional Metalanguage with Recursive Types

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

Vis mer

Språk:
Engelsk

ISBN:
9783540762553

Forlag:
Springer

Bindende:
Hardback

Sider:
208

Utgitt:
31. juli 1998

Dimensjoner:
156x234x13 mm.

Vekt:
467 g.

1 119,-
~~1 120,-~~

Gratis frakt

Leveringstid: 2-4 uker

Forventet levering: 16. mars 2026

Om G McCusker

Se alle bøkene av G McCusker

Beskrivelse av Games and Full Abstraction for a Functional Metalanguage with Recursive Types

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

Brukervurderinger av Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Andre har også kjøpt..

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Om G McCusker

Beskrivelse av Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Brukervurderinger av Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Gjør som tusenvis av andre bokelskere