Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Typed Lambda Calculi and Applications

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Typed Lambda Calculi and Applications Samson Abramsky
Libristo-code: 01563428
Uitgeverij 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... Volledige beschrijving
? points 141 b
58.57 €
In extern magazijn in kleine hoeveelheid Wordt binnen 11-15 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Déficit público José Ortega Cruz / Boek Gebonden (paperback)
common.buy 80.05 €
Erstellung eines Webshops unter Verwendung des Content Management Systems Joomla! Karsten Oltrogge / Boek Gebonden (paperback)
common.buy 25.12 €
Účtovné predpisy 2024 / Boek Gebonden (paperback)
common.buy 5.36 €
Regression, 1 Blu-ray Alejandro Amenábar / Video Blu-ray
common.buy 13.16 €
Młokos Fiodor Dostojewski / Boek Gebonden (harde band)
common.buy 12.46 €
Kaskaden Eliot Weinberger / Boek Gebonden (paperback)
common.buy 20.87 €
Der Todesstrahl Daniel Clowes / Boek Gebonden (harde band)
common.buy 20.87 €
THIRTY FIVE MELODIOUS TECHNICAL EXERCISES SAXOPHONE DOMENICO GATTI Boek binding.
common.buy 34.24 €
MODELOS Y HERRAMIENTAS DE DECISION JOAQUIN BAUTISTA VALHONDO / Boek Gebonden (paperback)
common.buy 47.83 €
EL JARDÍN DE ORIGAMI MARK BOLITHO / Boek Gebonden (harde band)
common.buy 8.20 €
Zebra źrebię / Spel/speelgoed Speelgoed
common.buy 7.69 €
Familiengründung mit Samenspende Petra Thorn / Boek Gebonden (paperback)
common.buy 45.70 €
Anja und das Reitinternat - Auf gut Glück Feli Fritsch / Boek Gebonden (paperback)
common.buy 12.05 €
Bildungsgrundsätze Kinder Ministerium für Familie / Boek Gebonden (paperback)
common.buy 21.88 €
Taoteking Laozi / Boek Gebonden (paperback)
common.buy 11.95 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Typed Lambda Calculi and Applications
Auteur Samson Abramsky
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2001
Aantal pagina's 436
EAN 9783540419600
ISBN 3540419608
Libristo-code 01563428
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 682
Afmetingen 155 x 233 x 25

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Wiskunde en wetenschap > Wiskunde > Calculus en wiskundige analyse
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

The Reader Bernhard Schlink / Boek Gebonden (paperback)
common.buy 13.67 €
Single Semiconductor Quantum Dots Peter Michler / Boek Gebonden (harde band)
common.buy 227.00 €
Just-in-Time Systems Roger Rios / Boek Gebonden (paperback)
common.buy 175.93 €
TOP
Reference Barbara Abbott / Boek Gebonden (paperback)
common.buy 61.20 €
Logical Pluralism and Logical Consequence Erik Stei / Boek Gebonden (paperback)
common.buy 31.31 €
Domestication of the Human Species Peter J. Wilson / Boek Gebonden (paperback)
common.buy 35.46 €
Who Paid the Pipers of Western Marxism? Gabriel Rockhill / Boek Gebonden (paperback)
common.buy 26.44 €
FAA Standards for Airport Sign Systems D Federal Aviation Administration (Faa) / Boek Gebonden (paperback)
common.buy 16.31 €
Improve your sight-reading! A piece a week Piano Grade 1 Paul Harris / Drukwerk Bladmuziek
common.buy 8.81 €
Latinas/os on the East Coast Yolanda Medina / Boek Gebonden (paperback)
common.buy 63.53 €
I'm a Happy Hugglewug Niamh Sharkey / Boek Gebonden (harde band)
common.buy 6.78 €
TOP
Programming in Haskell Graham Hutton / Boek Gebonden (paperback)
common.buy 43.77 €
Life and her children Arabella Burton Buckley / Boek Gebonden (paperback)
common.buy 33.33 €
Provence & Languedoc Travel Guide - Attractions, Eating, Drinking, Shopping & Places To Stay Brendan Kavanagh / Boek Gebonden (paperback)
common.buy 14.79 €
The Church And The Changing Order Shailer Mathews / Boek Gebonden (paperback)
common.buy 32.62 €
The Beauty's Beast E D Walker / Boek Gebonden (paperback)
common.buy 15.80 €
Early Hellenistic Peloponnese Graham Shipley / Boek Gebonden (harde band)
common.buy 144.61 €
Arms and the Man Bernard Shaw / Boek Gebonden (paperback)
common.buy 6.78 €
Interdisciplinary Perspectives on Math Cognition Marcel Danesi / Boek Gebonden (harde band)
common.buy 124.95 €
Catalogue of Manuscript Music in the British Museum V1: Sacred Vocal Music (1906) Augustus Hughes-Hughes / Boek Gebonden (paperback)
common.buy 47.83 €
Greek Religion: Volume 46 Bremmer / Boek Gebonden (paperback)
common.buy 28.27 €
My Little Pony: Meet the Ponies of Maretime Bay Hasbro / Boek Gebonden (paperback)
common.buy 5.46 €
The Practice of Feeling Good: How to Upgrade Your Thinking and Live a Feel-Good Life Shannon Buritz / Boek Gebonden (paperback)
common.buy 14.89 €
Genetically Engineered Crops Miguel Altieri / Boek Gebonden (harde band)
common.buy 178.26 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?