Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Games and Full Abstraction for a Functional Metalanguage with Recursive Types, Guy McCusker
- Lingua
- Pubblicato
- 2012
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.