Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Typed Lambda Calculi and Applications

Name: Typed Lambda Calculi and Applications
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01563428
Price: 51.62 EUR
Availability: InStock
Author: Samson Abramsky
ISBN: 9783540419600

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

Samson Abramsky

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01563428

125 b

51.62 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Déficit público José Ortega Cruz

Broschur

70.31 €

Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge

Broschur

25.05 €

Účtovné predpisy 2024

Broschur

5.34 €

Regression, 1 Blu-ray Alejandro Amenábar

Blu-ray

13.12 €

Młokos Fiodor Dostojewski

Hardcover

12.42 €

Kaskaden Eliot Weinberger

Broschur

20.80 €

Der Todesstrahl Daniel Clowes

Hardcover

20.80 €

THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Buch

binding.

34.14 €

MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO

Broschur

47.68 €

EL JARDÍN DE ORIGAMI MARK BOLITHO

Hardcover

8.17 €

Zebra źrebię

Spielzeug

7.67 €

Familiengründung mit Samenspende Petra Thorn

Broschur

45.56 €

Anja und das Reitinternat - Auf gut Glück Feli Fritsch

Broschur

12.01 €

Bildungsgrundsätze Kinder Ministerium für Familie

Broschur

21.81 €

Taoteking Laozi

Broschur

11.91 €

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

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