En savoir plus sur le livre
The Distinguished Dissertation series, published by the Conference of Professors and Heads of Computing and The British Computer Society, annually showcases the best British PhD dissertations in computer science. Selected by a panel of eight academics, these dissertations significantly contribute to the field and maintain high standards of clarity, allowing computer scientists with diverse interests to engage with unfamiliar research topics. This volume presents a theory of game semantics, a novel framework for modeling and reasoning about sequential programming languages, particularly for higher-order functional languages with complex type structures. It constructs a fully abstract model of the metalanguage FPC. The book includes sections on full abstraction, game semantics, a historical perspective, and the specific contributions made. It covers prerequisites, enriched category theory, intrinsic preorder, and various concepts related to games, strategies, and categories. Topics such as rational categories, recursive types, and invariant relations are explored, alongside the language FPC, its models, and the semantics of the recursion combinator. The work concludes with discussions on computational adequacy and full abstraction, providing a comprehensive examination of the subject.
Achat du livre
Games and full abstraction for a functional metalanguage with recursive types, Guy McCusker
- Langue
- Année de publication
- 1998
Modes de paiement
Personne n'a encore évalué .