Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Couverture souple

McCusker, Guy

 
9781447106166: Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Couverture souple
ISBN 10 : 1447106164 ISBN 13 : 9781447106166
Editeur : Springer, 2011

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

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

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
1447106164
ISBN 13 
9781447106166
Reliure
Taschenbuch
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540762553: Games and Full Abstraction for a Functional Metalanguage With Recursive Types

Edition présentée

ISBN 10 :  3540762558 ISBN 13 :  9783540762553
Editeur : Springer-Verlag Berlin and Heide..., 1998
Couverture rigide