Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations - Guy McCusker - Bücher - Springer London Ltd - 9781447111658 - 23. Oktober 2012
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition

Guy McCusker

Preis
Kč 1.447
exkl. MwSt.

Bestellware

Lieferdatum: ca. 17. - 30. Jun

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Games and Full Abstraction for a Functional Metalanguage with Recursive Types - Distinguished Dissertations Softcover reprint of the original 1st ed. 1998 edition

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 23. Oktober 2012
ISBN13 9781447111658
Verlag Springer London Ltd
Seitenanzahl 189
Maße 155 × 235 × 11 mm   ·   299 g
Sprache Englisch  
Alle anzeigen

Weitere Titel von Guy McCusker

Alle Titel von Guy McCusker ansehen ( u. a. Taschenbuch und Gebundenes Buch )