Games and Full Abstraction for a Functional Metalanguage with Recursive Types by
67,86 €
Full Abstraction. - Historical Perspective. - Contribution of This Book. - Enriched Category Theory. - Intrinsic Preorder. - The Category. - An Alternative Category. - The Extensional Category.
Jetzt bei Ebay:
![Produktbild - Recursive Macroeconomic Theory (Mit Press) [Hardcover] Ljungqvist, Lars and](https://i.ebayimg.com/thumbs/images/g/Tr0AAOSwfztnC2Rv/s-l140.jpg)
