Fortæl dine venner om denne vare:
Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition
Guy McCusker
Pris
R$ 402,38
Bestilles fra fjernlager
Forventes klar til forsendelse 1. - 7. jul.
Tilføj til din iMusic ønskeseddel
Eller
Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition
Guy McCusker
In particular, fully abstract models have been found for various kinds of languages with local variables [8,13-16], and a fully complete games model of the polymorphic language System F has been constructed by Hughes [59].
189 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 23. oktober 2012 |
| ISBN13 | 9781447111658 |
| Forlag | Springer London Ltd |
| Antal sider | 189 |
| Mål | 155 × 235 × 11 mm · 299 g |
| Sprog | Engelsk |
