Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Fr. 72.90
inkl. MwSt,
Beschreibung
Details
Einband
Taschenbuch
Erscheinungsdatum
23.10.2012
Verlag
Springer LondonSeitenzahl
189
Maße (L/B/H)
23.5/15.5/1.2 cm
This book is a minor revision of the thesis submitted in August 1996; no major changes have been made. However, I would like to take this opportunity to mention that since the thesis was written, discoveries have been made which would allow a substantial simplification and strengthening of the results in Chapters 3 and 6. In particular, it is now possible to model sums correctly in the category I as well as in £, which means that the definability results of Chapter 6 can be stated and proved at the intensional level, making them simpler and much closer in spirit to the original proofs of Abramsky, Jagadeesan, Malacaria, Hyland, Ong and Nickau [10,61,79]. This also leads quite straightforwardly to an understanding of call-by-value languages. Details of these improvements can be found in [14,73]. It is also worth mentioning that progress has been made on some of the topics suggested for future research in Chapter 7. In particular, fully abstract models have been found for various kinds of languages with local variables [8,13-16], and a fully complete games model of the polymorphic language System F has been constructed by Hughes [59]. Guy McCusker February 1998 Acknowledgements First of all, I must thank my supervisor, Samson Abramsky. It was he who first introduced me to game semantics and suggested avenues of research in the area; this book would certainly not exist were it not for him.
Weitere Bände von Distinguished Dissertations
-
Zur Artikeldetailseite von Games and Full Abstraction for a Functional Metalanguage with Recursive Types des Autors Guy McCusker
Guy McCusker
Games and Full Abstraction for a Functional Metalanguage with Recursive TypesBuch
Fr. 72.90
-
Zur Artikeldetailseite von Hardware Evolution des Autors Adrian Thompson
Adrian Thompson
Hardware EvolutionBuch
Fr. 137.00
-
Zur Artikeldetailseite von Search and Planning Under Incomplete Information des Autors Ian Frank
Ian Frank
Search and Planning Under Incomplete InformationBuch
Fr. 137.00
-
Zur Artikeldetailseite von Extensional Constructs in Intensional Type Theory des Autors Martin Hofmann
Martin Hofmann
Extensional Constructs in Intensional Type TheoryBuch
Fr. 181.00
-
Zur Artikeldetailseite von Large Scale Collaborative Virtual Environments des Autors Chris Greenhalgh
Chris Greenhalgh
Large Scale Collaborative Virtual EnvironmentsBuch
Fr. 137.00
-
Zur Artikeldetailseite von Stochastic Algorithms for Visual Tracking des Autors John MacCormick
John MacCormick
Stochastic Algorithms for Visual TrackingBuch
Fr. 156.00
-
Zur Artikeldetailseite von Architecture-Independent Loop Parallelisation des Autors Radu C. Calinescu
Radu C. Calinescu
Architecture-Independent Loop ParallelisationBuch
Fr. 137.00
-
Zur Artikeldetailseite von Randomized Algorithms: Approximation, Generation, and Counting des Autors Russ Bubley
Russ Bubley
Randomized Algorithms: Approximation, Generation, and CountingBuch
Fr. 138.00
-
Zur Artikeldetailseite von Asynchronous System-on-Chip Interconnect des Autors John Bainbridge
John Bainbridge
Asynchronous System-on-Chip InterconnectBuch
Fr. 72.90
-
Zur Artikeldetailseite von Image Mosaicing and Super-resolution des Autors David Capel
David Capel
Image Mosaicing and Super-resolutionBuch
Fr. 137.00
-
Zur Artikeldetailseite von Strength or Accuracy: Credit Assignment in Learning Classifier Systems des Autors Tim Kovacs
Tim Kovacs
Strength or Accuracy: Credit Assignment in Learning Classifier SystemsBuch
Fr. 182.00
-
Zur Artikeldetailseite von Dynamic Flexible Constraint Satisfaction and its Application to AI Planning des Autors Ian Miguel
Ian Miguel
Dynamic Flexible Constraint Satisfaction and its Application to AI PlanningBuch
Fr. 161.00
Unsere Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Erste Bewertung verfassen