Um eUniverse.ch in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktiveren.

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

74.97 CHF

Versandkostenfrei

Lieferzeit: 7-14 Werktage

Beschreibung

1 Introduction.- 2 Preliminaries.- 3 Games.- 4 Rational Categories and Recursive Types.- 5 FPC and its Models.- 6 Full Abstraction.- 7 Conclusions.

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.

Artikel vergleichen

Mindestens noch einen Artikel hinzufügen um Vergleich zu starten.

Bestseller Kategorie

Topseller

10-Finger-Tippen in 3 Stunden, m. 2 Audio-CD,... 11.07.2014 Sofort lieferbar

36.94

PowerShell 7 und Windows PowerShell: Das... 14.07.2021 Sofort lieferbar

37.94

SAP-Personalwirtschaft: Praxishandbuch. Alle... 28.12.2016

74.97

Angebote

Topseller

- 56 %

Bestron ABP604 Tischgrill Sofort lieferbar

119,44 52.69

- 56 %

ROWENTA Silence Force Animal RO7473 Sofort lieferbar

450,67 199.74

- 55 %

Moulinex Companion XL Gourmet Sofort lieferbar

1103,08 500.85

Zuletzt angesehen