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 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Typed Lambda Calculi and Applications

Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995. Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Typed Lambda Calculi and Applications Mariangiola Dezani-Ciancaglini
Libristo-code: 05274455
Uitgeverij Springer, Berlin, november 1994
This volume presents the proceedings of the Second International Conference on Typed Lambda Calculia... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Angielski w tłumaczeniach Idiomy Andy Edwins / Boek Gebonden (paperback)
common.buy 13.26 €
Die Persönlichkeit bei psychovegetativen Störungen Michael Ermann / Boek Gebonden (paperback)
common.buy 53.16 €
Большая книга психологических практик для избавления от тревоги, паники, ВСД и стресса И.С. Качай / Boek Gebonden (harde band)
common.buy 23.08 €
L'Irritabilite Dans La Serie Animale Courtade-D / Boek Gebonden (paperback)
common.buy 16.50 €
COMPACT BOX PLATINUM 2021 ADRENALYN 2020-2021 / Boek binding.
common.buy 10.83 €
Tradition et dissidence Goytisolo Boek Gebonden (paperback)
common.buy 22.98 €
Les dérivés de la morphine utilisés en thérapeutique. Mémoire 2 Albert Mayor / Boek Gebonden (paperback)
common.buy 13.66 €
Baroque : sculptures européennes (1600-1750) Sismann / Boek Gebonden (paperback)
common.buy 42.63 €
Destinations. Italy unknown / Boek Gebonden (paperback)
common.buy 38.78 €
Ben et les habiletés sociales : Le harcèlement LEMARIE / Boek Gebonden (paperback)
common.buy 19.54 €
Ukrajinské leporelo Andrej Bán / Boek Gebonden (harde band)
common.buy 25.11 €
Tomek i przyjaciele - Zbior bajek 5 minut przed snem Mattel / Luisterboek MP3
common.buy 2.42 €
Čierna labuť, biela vrana Richard Müller / Boek binding.
common.buy 30.58 €
Pour rien au monde Ken Follett / Boek Gebonden (paperback)
common.buy 17.21 €
Vychytralý plán Susanna Craig / Boek Gebonden (harde band)
common.buy 12.45 €
Ours(les) Steve Bloom / Boek Gebonden (paperback)
common.buy 17.31 €
Panická porucha Dana Kamarádová / Boek Gebonden (paperback)
common.buy 18.22 €
Ich - ein anderer Imre Kertesz / Boek Gebonden (paperback)
common.buy 6.98 €
Strafverfolgung in Wirtschaftsstrafsachen Eberhard Kempf / E-book Adobe ePub DRM
common.buy 80.41 €
Zola: Therese Raquin Emile Zola / Boek Gebonden (paperback)
common.buy 38.27 €
Affenbande / Spel/speelgoed Spel
common.buy 6.78 €
nouveau dictionnaire complet du jargon de l'argot ou, Le langage des voleurs devoile Arthur Halbert / Boek Gebonden (paperback)
common.buy 11.74 €
Wordt verwacht
Die 'Judendeportationen' aus dem Deutschen Reich von 1941-1945 Alfred Gottwaldt / Boek Gebonden (harde band)
common.buy 23.69 €
Mozart, Wolfgang Amadeus - Werke für Klavier zu vier Händen Wolfgang Amadeus Mozart / Boek Gebonden (paperback)
common.buy 33.31 €

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.

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 Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1995
Aantal pagina's 452
EAN 9783540590484
ISBN 354059048X
Libristo-code 05274455
Uitgeverij Springer, Berlin
Gewicht 594
Afmetingen 156 x 234 x 23

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
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

Designing the City of People 4.0 Dario Costi / Boek Gebonden (paperback)
common.buy 144.22 €
Quality of Communication-Based Systems Günter Hommel / Boek Gebonden (paperback)
common.buy 103.10 €
The Malleus Maleficarum James Sprenger / Boek Gebonden (paperback)
common.buy 15.79 €
TOO LATE (LIBRARY EDITION} HOOVER COLLEEEN / Boek Gebonden (harde band)
common.buy 25.92 €
Dancing at Halftime Carol Spindel / Boek Gebonden (paperback)
common.buy 40.71 €
PRIZE ESSAYS HARRIET MARTINEAU / Boek Gebonden (harde band)
common.buy 39.29 €
Santa Claus and the Scepter of Christmas Holt Clarke / Boek Gebonden (harde band)
common.buy 23.28 €
Children's Book of Music DK / Boek Gebonden (harde band)
common.buy 19.33 €
Tenacious D: The Official Coloring Book Juan Riera / Boek Gebonden (paperback)
common.buy 18.12 €
Theft by Finding David Sedaris / Audio Audio cd
common.buy 28.86 €
Not Quite Burned Out, But Crispy Around the Edges: Inspiration, Laughter, and Encouragement for Teachers Sharon M. Draper / Boek Gebonden (paperback)
common.buy 36.45 €
The Importance of Music to Girls Lavinia Greenlaw / Boek Gebonden (paperback)
common.buy 14.27 €
In the Shadows of Paris Claude Izner / Boek Gebonden (paperback)
common.buy 18.73 €
At Last Edward St Aubyn / Boek Gebonden (paperback)
common.buy 17.31 €
Law, Custom, and the Social Fabric in Medieval Europe Bernard S. Bachrach / Boek Gebonden (harde band)
common.buy 25.61 €
Vector to Destiny George W. Kohn / Boek Gebonden (paperback)
common.buy 16.30 €
Love Me, Love My Wife Charles Erlandson / Boek Gebonden (paperback)
common.buy 9.21 €
Sherlock: A Scandal in Belgravia Part 2 Steven Moffat / Boek Gebonden (paperback)
common.buy 12.65 €
The the Wintermen III: At the End of the World Brit Griffin / Boek Gebonden (paperback)
common.buy 15.79 €
The Girl from the Stars James J. Caterino / Boek Gebonden (paperback)
common.buy 11.23 €
Lonely Planet Pocket Barcelona Lonely planet eng / Boek Gebonden (paperback)
common.buy 17.41 €
Wordt verwacht
Mental Illness Stigma and the Moral and Social Community Abigail Gosselin / Boek Gebonden (harde band)
common.buy 129.13 €
PRF in Restorative dentistry and Endodontics Tony Jose Anil Tomer / Boek Gebonden (paperback)
common.buy 49.01 €
Freedom and the Subject of Theory Colin Davis / Boek Gebonden (harde band)
common.buy 105.53 €

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?