Vertel uw vrienden over dit artikel:
Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition
Guy McCusker
Prijs
₺ 2.345,68
Besteld in een afgelegen magazijn
Verwachte levering 1 - 9 jul.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
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
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 23 oktober 2012 |
| ISBN13 | 9781447111658 |
| Uitgevers | Springer London Ltd |
| Pagina's | 189 |
| Afmetingen | 155 × 235 × 11 mm · 299 g |
| Taal en grammatica | Engels |
Alles tonen
Meer door Guy McCusker
Bekijk alles van Guy McCusker ( bijv. Paperback Book en Hardcover Book )