Games and Full Abstraction for a Functional Metalanguage with Recursive Types

The book presents a revised thesis that incorporates recent discoveries enhancing the results in specific chapters, particularly regarding modeling sums in various categories. These advancements allow for simpler, more direct proofs aligned with earlier work by notable theorists. It also discusses progress in future research areas, including fully abstract models for languages with local variables and a complete games model for System F. Acknowledgments highlight the author's gratitude to their supervisor for guidance in game semantics research.