Games and Full Abstraction for a Functional Metalanguage with Recursive Types

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. Language: English