[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Typed Lambda Calculi and Applications

Sprache EnglischEnglisch
Buch Broschur
Buch Typed Lambda Calculi and Applications Mariangiola Dezani-Ciancaglini
Libristo-Code: 05274455
Verlag Springer, Berlin, November 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Vollständige Beschreibung
? points 177 b
70.52 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

DEMNÄCHST
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Hardcover
common.buy 24.22 €
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Broschur
common.buy 36.83 €
World War II Allied Women's Services Martin J. Brayley / Broschur
common.buy 23.10 €
Space and Its Exploration M.V. Ivanov / Hardcover
common.buy 134.49 €
Theft by Finding David Sedaris / Audio CD
common.buy 32.98 €
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Broschur
common.buy 28.44 €
Prime Ministers and Whitehall 1960-74 Jon Davis / Hardcover
common.buy 263.63 €
Das Ostfriesische Küstengebiet Hansjörg Streif / Broschur
common.buy 25.22 €
Rationales Management Gonde Dittmer / Broschur
common.buy 55.48 €
At Last Edward St Aubyn / Broschur
common.buy 21.68 €
Rumble Volume 4: Soul Without Pity John Arcudi / Broschur
common.buy 19.16 €
Acting the Right Part Xiaomei Chen / Broschur
common.buy 44.28 €
'Murphy' A Message to Dog Lovers Ernest Gambier-Parry / Broschur
common.buy 25.82 €
Kinder-Kirchen-Hits Reinhard Horn / Noten
common.buy 17.96 €
Enemy Aliens David Cole / Hardcover
common.buy 27.94 €
Santa Claus and the Scepter of Christmas Holt Clarke / Hardcover
common.buy 28.34 €

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculiand Applications, held in Edinburgh, UK in April 1995.The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.

Informationen zum Buch

Vollständiger Name Typed Lambda Calculi and Applications
Autor Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1995
Anzahl der Seiten 452
EAN 9783540590484
ISBN 354059048X
Libristo-Code 05274455
Verlag Springer, Berlin
Gewicht 594
Abmessungen 156 x 234 x 23

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto