Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Typed Lambda Calculi and Applications

5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Typed Lambda Calculi and Applications Samson Abramsky
Libristo-Code: 01563428
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2001
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda C... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Der Todesstrahl Daniel Clowes / Buch Hardcover
common.buy 21.59 €
Młokos Fiodor Dostojewski / Buch Hardcover
common.buy 12.99 €
Familiengründung mit Samenspende Petra Thorn / Buch Broschur
common.buy 46.89 €
Regression, 1 Blu-ray Alejandro Amenábar / Video Blu-ray
common.buy 13.59 €
Účtovné predpisy 2024 / Buch Broschur
common.buy 5.59 €
Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge / Buch Broschur
common.buy 27.95 €
Kaskaden Eliot Weinberger / Buch Broschur
common.buy 21.59 €
THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Buch binding.
common.buy 35.29 €
MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO / Buch Broschur
common.buy 49.79 €
EL JARDÍN DE ORIGAMI MARK BOLITHO / Buch Hardcover
common.buy 8.49 €
Zebra źrebię / Spiel/Spielzeug Spielzeug
common.buy 7.89 €
Anja und das Reitinternat - Auf gut Glück Feli Fritsch / Buch Broschur
common.buy 12.49 €
Taoteking Laozi / Buch Broschur
common.buy 12.49 €
Bildungsgrundsätze Kinder Ministerium für Familie / Buch Broschur
common.buy 19.99 €
Déficit público José Ortega Cruz / Buch Broschur
common.buy 73.59 €

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications, TLCA 2001, held in Krakow, Poland in May 2001. The 28 revised full papers presented were carefully reviewed and selected from 55 submissions. The volume reports research results on all current aspects of typed lambda calculi. Among the topics addressed are type systems, subtypes, coalgebraic methods, pi-calculus, recursive games, various types of lambda calculi, reductions, substitutions, normalization, linear logic, cut-elimination, prelogical relations, and mu calculus.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Typed Lambda Calculi and Applications
Autor Samson Abramsky
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2001
Anzahl der Seiten 436
EAN 9783540419600
ISBN 3540419608
Libristo-Code 01563428
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 682
Abmessungen 155 x 233 x 25

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
Mathematik und Naturwissenschaften > Mathematik > Mathematische Analysis, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
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

Das könnte Sie auch interessieren

The Reader Bernhard Schlink / Buch Broschur
common.buy 14.19 €
Single Semiconductor Quantum Dots Peter Michler / Buch Hardcover
common.buy 214.29 €
Just-in-Time Systems Roger Rios / Buch Broschur
common.buy 160.89 €
Logical Pluralism and Logical Consequence Erik Stei / Buch Broschur
common.buy 32.29 €
Top
Reference Barbara Abbott / Buch Broschur
common.buy 62.99 €
Early Hellenistic Peloponnese Graham Shipley / Buch Hardcover
common.buy 149.29 €
Domestication of the Human Species Peter J. Wilson / Buch Broschur
common.buy 36.49 €
FAA Standards for Airport Sign Systems D Federal Aviation Administration (Faa) / Buch Broschur
common.buy 16.89 €
Improve your sight-reading! A piece a week Piano Grade 1 Paul Harris / Drucksachen Noten
common.buy 9.09 €
I'm a Happy Hugglewug Niamh Sharkey / Buch Hardcover
common.buy 7.19 €
Top
Programming in Haskell Graham Hutton / Buch Broschur
common.buy 44.89 €
Life and her children Arabella Burton Buckley / Buch Broschur
common.buy 24.29 €
Provence & Languedoc Travel Guide - Attractions, Eating, Drinking, Shopping & Places To Stay Brendan Kavanagh / Buch Broschur
common.buy 15.39 €
The Church And The Changing Order Shailer Mathews / Buch Broschur
common.buy 33.69 €
Latinas/os on the East Coast Yolanda Medina / Buch Broschur
common.buy 65.99 €
Arms and the Man Bernard Shaw / Buch Broschur
common.buy 6.99 €
Interdisciplinary Perspectives on Math Cognition Marcel Danesi / Buch Hardcover
common.buy 117.99 €
Catalogue of Manuscript Music in the British Museum V1: Sacred Vocal Music (1906) Augustus Hughes-Hughes / Buch Broschur
common.buy 49.49 €
Greek Religion: Volume 46 Bremmer / Buch Broschur
common.buy 29.19 €
My Little Pony: Meet the Ponies of Maretime Bay Hasbro / Buch Broschur
common.buy 5.79 €
The Practice of Feeling Good: How to Upgrade Your Thinking and Live a Feel-Good Life Shannon Buritz / Buch Broschur
common.buy 15.39 €
Who Paid the Pipers of Western Marxism? Gabriel Rockhill / Buch Broschur
common.buy 27.69 €
Lambda-Calculus and Combinators J Roger Hindley / Buch Hardcover
common.buy 98.99 €
Environmental Geochemistry J. A. C. Fortescue / Buch Broschur
common.buy 107.29 €

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?