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.

Lambda-Calculus and Combinators

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Lambda-Calculus and Combinators J Roger Hindley
Libristo-code: 04095970
Uitgeverij Cambridge University Press, juli 2008
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into li... Volledige beschrijving
? points 232 b
95.82 €
In extern magazijn Wordt binnen 14-21 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Geographers of the Ancient Greek World 2 Volume Hardback Set D. Graham J. Shipley / Boek Gebonden (paperback)
common.buy 269.66 €
Landesrecht Sachsen Kurt Faßbender / Boek Gebonden (paperback)
common.buy 31.90 €
La Tregua Interior ATAHUALPA CAMPOS / Boek Gebonden (paperback)
common.buy 12.15 €
LA VERDAD QUE NOS UNE CAMPOS / Boek Gebonden (paperback)
common.buy 12.15 €
La vita dopo Lettere Il Fuori Corso / Boek Gebonden (paperback)
common.buy 11.84 €
Wie man einen Dino besiegt Hans Wilhelm / Boek Gebonden (harde band)
common.buy 6.68 €
Wordt verwacht
Claymore 09. Bd.9 Norihiro Yagi / Boek Gebonden (paperback)
common.buy 9.72 €
miniLÜK. Tl.1 Heinz Vogel / Boek Blad
common.buy 7.89 €
????????? ?????????????????????? (II) Paul C. Jong / E-book Adobe ePub DRM
common.buy 3.13 €
Icones plantarum medicinalium Johannes Zorn / Boek Gebonden (paperback)
common.buy 20.55 €
Lambacher Schweizer Mathematik 8. Schulbuch Klasse 8. Ausgabe Thüringen und Hamburg / Boek Gebonden (paperback)
common.buy 35.65 €
Obezita Malými krůčky k velké změně Iva Málková / Boek Gebonden (paperback)
common.buy 6.88 €
Transitions: Les nouvelles Annales des Ponts et Chaussées, n°4 Tassin / Boek Boek
common.buy 30.99 €
Ein Aquarell über das Leben von Straßenjugendlichen Fernanda Silva de Almeida Resende / Boek Gebonden (paperback)
common.buy 55.20 €
Projekt Hereze Marek Mahler / Boek Gebonden (harde band)
common.buy 10.73 €
La cucina ceca Petr Sýkora / Boek Gebonden (harde band)
common.buy 10.73 €
praktische Theologie nach den Grundsatzen der evangelischen Kirche im Zusammenhang dargestellt Friedrich Schleiermacher / Boek Gebonden (harde band)
common.buy 288.20 €
Voordelig
Psychológia masových vrahov Andrej Drbohlav / Boek Gebonden (paperback)
common.buy 26.73 €
Georg Simon Ohm. Briefe, Urkunden und Dokumente Ludwig Hartmann / Boek Gebonden (paperback)
common.buy 36.46 €
Symbiosen, Rituale, Routinen: Technik als Identitätsbestandteil. Technikakzeptanz der 1920er bis 1960er Jahre Rolf-Ulrich Kunze / Boek Gebonden (paperback)
common.buy 53.17 €
Vulnérabilités au travail naissance et actualité de la psychopathologie du travail Veil / Boek Gebonden (paperback)
common.buy 21.06 €
L'avion COLLECTIFS JEUN / Video Blu-ray
common.buy 13.46 €
Suka doskonała Jolanta Dymowicz / Boek Gebonden (paperback)
common.buy 11.74 €
Best Of R.E.M.At The BBC R. E. M. / Audio Audio cd
common.buy 18.73 €

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this version, first published in 2008, is thoroughly revised and offers an account of the subject with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.

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 Lambda-Calculus and Combinators
Auteur J Roger Hindley
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2008
Aantal pagina's 358
EAN 9780521898850
ISBN 0521898854
Libristo-code 04095970
Uitgeverij Cambridge University Press
Gewicht 676
Afmetingen 159 x 237 x 24

Categorieën

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

Cambridge Grammar of Classical Greek Evert van Emde Boas / Boek Gebonden (paperback)
common.buy 54.59 €
Greek Religion: Volume 46 Bremmer / Boek Gebonden (paperback)
common.buy 28.25 €
From Teacher to Trainer Matthew T. Ellman / Boek Gebonden (paperback)
common.buy 40.31 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Boek Gebonden (paperback)
common.buy 31.50 €
Introduction to Lambada Calculi for Computer Scientists C Hankin / Boek Gebonden (paperback)
common.buy 20.55 €
Programming in Haskell Graham Hutton / Boek Gebonden (paperback)
common.buy 46.79 €
Handbook of Epistemic Logic Hans Van Ditmarsch / Boek Gebonden (paperback)
common.buy 31.50 €
TOP
Logic: A Very Short Introduction Graham Priest / Boek Gebonden (paperback)
common.buy 10.42 €
Typed Lambda Calculi and Applications Samson Abramsky / Boek Gebonden (paperback)
common.buy 51.76 €
Landscape Architecture Documentation Standards - Principles, Guidelines and Best Practices Design Workshop / Boek Gebonden (paperback)
common.buy 95.82 €
Lamp to Illuminate the Five Stages Tsongkhapa / Boek Gebonden (harde band)
common.buy 45.17 €
LADY ELIZABETH HAWTHORNE MYSTERIES - BOOKS 1-3 Olivia Rose / Boek Gebonden (paperback)
common.buy 32.61 €
Story Box Magma und Claudia Boldt / Drukwerk Speelkaarten
common.buy 15.59 €
Sound of Falling Leaves Lisa Carter / Boek Gebonden (paperback)
common.buy 15.79 €
Looking up: Poems by Lois Read Lois Read / Boek Gebonden (paperback)
common.buy 14.88 €
Alpha-Theta Neurofeedback in the 21st Century ANTO MARTINS-MOURAO / Boek Gebonden (paperback)
common.buy 66.75 €
Knox's Stand Jamie Begley / Boek Gebonden (paperback)
common.buy 12.15 €
The Golf Psychology Workbook: How to Use Advanced Sports Psychology to Succeed on the Golf Course Danny Uribe Masep / Boek Gebonden (paperback)
common.buy 15.59 €
Call of the Wraith Kevin Sands / Boek Gebonden (paperback)
common.buy 8.40 €
Food Industry Patricia Alexandra Batista Branco / Boek Gebonden (harde band)
common.buy 143.74 €
Criminal Justice in Eighteenth-Century Mexico Colin M. MacLachlan / Boek Gebonden (harde band)
common.buy 100.28 €
Wordt verwacht
Jim Butcher's Dresden Files - 20th Anniversary Box Set Jim Butcher / Boek Gebonden (paperback)
common.buy 56.01 €
Jelly Roll Baskets & Bags Carolyn Vagts / Boek Gebonden (paperback)
common.buy 9.72 €
TOP
Art of Computer Programming, The, Volumes 1-4B, Boxed Set Donald Knuth / Boek Gebonden (harde band)
common.buy 294.28 €

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?