Games and Full Abstraction for a Functional Metalanguage with Recursive Types
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 resul...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
London
Springer London
1998, 1998
|
| Edition: | 1st ed. 1998 |
| Series: | Distinguished Dissertations
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Introduction
- Full Abstraction
- Game Semantics
- Historical Perspective
- Contribution of This Book
- Prerequisites
- Preliminaries
- Enriched Category Theory
- Intrinsic Preorder
- Games
- Arenas, Views and Legal Positions
- Games and Strategies
- The Category
- Exponential
- A Cartesian Closed Category
- An Alternative Category
- The Extensional Category
- Sums
- Lifting
- Rational Categories and Recursive Types
- Rational Categories
- Recursive Types
- Invariant Relations
- Parameterized Invariant Relations
- IP-Categories
- Axioms for Rationality
- FPC and its Models
- The Language FPC
- Models of FPC
- Semantics of the Recursion Combinator
- Formal Approximation Relations
- Computational Adequacy
- Full Abstraction
- Conclusions