Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Games and Full Abstraction for a Functional Metalanguage with Recursive Types, Guy McCusker
- Langue
- Année de publication
- 2012
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .