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
94.63 €
In extern magazijn Wordt binnen 10-16 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 266.30 €
LA VERDAD QUE NOS UNE CAMPOS / Boek Gebonden (paperback)
common.buy 12.00 €
Landesrecht Sachsen Kurt Faßbender / Boek Gebonden (paperback)
common.buy 31.50 €
La Tregua Interior ATAHUALPA CAMPOS / Boek Gebonden (paperback)
common.buy 12.00 €
La vita dopo Lettere Il Fuori Corso / Boek Gebonden (paperback)
common.buy 11.69 €
Ein Aquarell über das Leben von Straßenjugendlichen Fernanda Silva de Almeida Resende / Boek Gebonden (paperback)
common.buy 54.51 €
Obezita Malými krůčky k velké změně Iva Málková / Boek Gebonden (paperback)
common.buy 6.19 €
Transitions: Les nouvelles Annales des Ponts et Chaussées, n°4 Tassin / Boek Boek
common.buy 29.50 €
Wordt verwacht Nieuw
Sting Legend Richard Lecocq / Boek Gebonden (harde band)
common.buy 44.21 €
Icones plantarum medicinalium Johannes Zorn / Boek Gebonden (paperback)
common.buy 20.30 €
Lambacher Schweizer Mathematik 8. Schulbuch Klasse 8. Ausgabe Thüringen und Hamburg / Boek Gebonden (paperback)
common.buy 35.20 €
miniLÜK. Tl.1 Heinz Vogel / Boek Blad
common.buy 7.79 €
????????? ?????????????????????? (II) Paul C. Jong / E-book Adobe ePub DRM
common.buy 3.09 €
Wordt verwacht
Claymore 09. Bd.9 Norihiro Yagi / Boek Gebonden (paperback)
common.buy 9.29 €
Was Erfolgreiche Unternehmen Ausmacht Armin Bindewald / Boek Gebonden (harde band)
common.buy 56.01 €
Wie man einen Dino besiegt Hans Wilhelm / Boek Gebonden (harde band)
common.buy 6.59 €
Remekművek titkos élete Barki Gergely / Boek Gebonden (harde band)
common.buy 12.70 €
Vision zur Optimierung nationaler Erdgasunternehmen Csaba Holyevácz / Boek Gebonden (paperback)
common.buy 38.81 €
Voordelig
Psychológia masových vrahov Andrej Drbohlav / Boek Gebonden (paperback)
common.buy 13.90 €
Törött tükör V. C. Andrews / Boek Gebonden (paperback)
common.buy 8.29 €
Best Of R.E.M.At The BBC R. E. M. / Audio Audio cd
common.buy 18.50 €
Suka doskonała Jolanta Dymowicz / Boek Gebonden (paperback)
common.buy 11.59 €
L'avion COLLECTIFS JEUN / Video Blu-ray
common.buy 12.19 €
Vulnérabilités au travail naissance et actualité de la psychopathologie du travail Veil / Boek Gebonden (paperback)
common.buy 19.70 €

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

Greek Religion: Volume 46 Bremmer / Boek Gebonden (paperback)
common.buy 27.90 €
Introduction to Lambada Calculi for Computer Scientists C Hankin / Boek Gebonden (paperback)
common.buy 20.30 €
TOP
Cambridge Grammar of Classical Greek Evert van Emde Boas / Boek Gebonden (paperback)
common.buy 53.91 €
Handbook of Epistemic Logic Hans Van Ditmarsch / Boek Gebonden (paperback)
common.buy 31.10 €
Programming in Haskell Graham Hutton / Boek Gebonden (paperback)
common.buy 52.01 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Boek Gebonden (paperback)
common.buy 31.10 €
Works, Literary, Moral, and Medical, of Thomas Percival, M.D.: Volume 4 Thomas Percival / Boek Gebonden (paperback)
common.buy 58.61 €
From Teacher to Trainer Matthew T. Ellman / Boek Gebonden (paperback)
common.buy 42.01 €
Typed Lambda Calculi and Applications Samson Abramsky / Boek Gebonden (paperback)
common.buy 51.01 €
TOP
Logic: A Very Short Introduction Graham Priest / Boek Gebonden (paperback)
common.buy 10.29 €
LADY ELIZABETH HAWTHORNE MYSTERIES - BOOKS 1-3 Olivia Rose / Boek Gebonden (paperback)
common.buy 32.20 €
Landscape Architecture Documentation Standards - Principles, Guidelines and Best Practices Design Workshop / Boek Gebonden (paperback)
common.buy 94.53 €
Call of the Wraith Kevin Sands / Boek Gebonden (paperback)
common.buy 8.29 €
Criminal Justice in Eighteenth-Century Mexico Colin M. MacLachlan / Boek Gebonden (harde band)
common.buy 98.73 €
TOP
Maths Lab DK / Boek Gebonden (harde band)
common.buy 14.70 €
Sound of Falling Leaves Lisa Carter / Boek Gebonden (paperback)
common.buy 15.60 €
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.40 €
Alpha-Theta Neurofeedback in the 21st Century ANTO MARTINS-MOURAO / Boek Gebonden (paperback)
common.buy 65.92 €
Wordt verwacht
Beginner's Guide to Goat Yoga Sarah Jackson / Boek Gebonden (harde band)
common.buy 9.19 €
Association Sharon Ann Ziegler / Boek Gebonden (harde band)
common.buy 27.60 €
Story Box Magma und Claudia Boldt / Drukwerk Speelkaarten
common.buy 15.40 €
Looking up: Poems by Lois Read Lois Read / Boek Gebonden (paperback)
common.buy 14.70 €
Knox's Stand Jamie Begley / Boek Gebonden (paperback)
common.buy 12.00 €
Food Industry Patricia Alexandra Batista Branco / Boek Gebonden (harde band)
common.buy 141.95 €

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?