Games and Full Abstraction for a Functional Metalanguage With Recursive Types - Couverture rigide

McCusker, Guy

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

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.

Autres éditions populaires du même titre

9781447111658: Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Edition présentée

ISBN 10 :  1447111656 ISBN 13 :  9781447111658
Editeur : Springer, 2012
Couverture souple