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.

Introduction to Lambada Calculi for Computer Scientists

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Introduction to Lambada Calculi for Computer Scientists C Hankin
Libristo-code: 04178609
Uitgeverij Kings College Publications, februari 2004
The lambda-calculus lies at the very foundations of computer science. Besides its historical role... Volledige beschrijving
? points 50 b
20.52 €
In extern magazijn Wordt binnen 10-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Introducao Ao Calculo Lambda Chris Hankin / Boek Gebonden (paperback)
common.buy 22.24 €
Horoskop der Liebe - Sternzeichen Schutze Lea Aubert / Boek Gebonden (paperback)
common.buy 8.08 €
Registros contables / Boek Gebonden (paperback)
common.buy 27.00 €
Lideratges, poder i revolta GAMPER SACHSE / Boek Gebonden (paperback)
common.buy 14.86 €
Le Dictionnaire des écrivains français Garcin / Boek Gebonden (paperback)
common.buy 28.41 €
Vermouth di Torino. Storia e produzione del più famoso vino aromatizzato Fulvio Piccinino / Boek Gebonden (paperback)
common.buy 29.83 €
20 kompakte Lesetests für Klasse 3/4 Anne Scheller / Boek Blad
common.buy 23.76 €
Fantozzi Paolo Villaggio / Boek Gebonden (paperback)
common.buy 14.56 €
vita giocata Daniela Rossi / Boek Gebonden (paperback)
common.buy 28.01 €
Solo Dios basta : la oración en la vida del Pastor Franco Brovelli / Boek Gebonden (paperback)
common.buy 14.96 €
Der Maya-Kalender 1501-1600 n.Chr. John Seberg / Boek Gebonden (paperback)
common.buy 53.40 €
Protecting the Body in War and Combat: Metal Body Armour in Bronze Age Europe Modlinger Boek Gebonden (paperback)
common.buy 143.84 €
Nord-Pakistan Martin Wein / Boek Gebonden (harde band)
common.buy 16.78 €
Les enquêtes de l'inspecteur Higgins - tome 1 Le crime de la momie Christian Jacq / Boek Gebonden (paperback)
common.buy 19.21 €
Estrategias para mejorar la práctica docente Jesús María Nieto Gil / Boek Gebonden (paperback)
common.buy 25.79 €
Im Nebel des Krieges Richard Swan / E-book Adobe ePub DRM
common.buy 16.48 €
Habitus und die Illusion individueller Selbstbestimmung. Implikationen fur das politische Subjekt Stefan Zapfel / Boek Gebonden (paperback)
common.buy 47.23 €
En plural A1, manual de clase RODRIGUEZ MARTIN / Boek Gebonden (paperback)
common.buy 21.74 €
Dresden in der DDR-Zeit Hans-Jürgen Freudenberger / Boek Gebonden (harde band)
common.buy 14.66 €
¿Quién rescato a quién? / Boek Gebonden (harde band)
common.buy 32.66 €
Język angielski na budowie Ćwiczenia Lewandowski Paweł / Boek Gebonden (paperback)
common.buy 12.43 €
Beruehmte Katzen Eva Saunders / Boek Gebonden (paperback)
common.buy 10.21 €
Toulavá kamera 28 Iveta Toušlová / Boek Gebonden (harde band)
common.buy 12.23 €
Wer hat meinen Vater umgebracht Édouard Louis / Boek Gebonden (paperback)
common.buy 10.92 €

The lambda-calculus lies at the very foundations of computer science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics, and domain theory. The book emphasises the proof theory for the type-free lambda-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability, and the relationship between the lambda-calculus and combinatory logic. Chapter 7 presents a variety of typed calculi; first the simply typed lambda-calculus, then Milner-style polymorphism and, finally, the polymorphic lambda-calculus. Chapter 8 concerns two variants of the type-free lambda-calculus that have appeared in the research literature: the lazy lambda-calculus, and the lambda sigma-calculus. The final chapter contains references and a guide to further reading. There are exercises throughout. In contrast to earlier books on these topics, which were written by logicians, this book is written from a computer science perspective and emphasises the practical relevance of many of the key theoretical ideas. The book is intended as a course text for final year undergraduates or first year graduate students in computer science. Research students should find it a useful introduction to more specialist literature.

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 Introduction to Lambada Calculi for Computer Scientists
Auteur C Hankin
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2004
Aantal pagina's 180
EAN 9780954300654
ISBN 0954300653
Libristo-code 04178609
Uitgeverij Kings College Publications
Gewicht 276
Afmetingen 155 x 229 x 12

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Computer hardware > Computer hardware: Onderhoud en reparatie
Informatica en informatietechnologie > Informatica
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

Lambda-Calculus and Combinators J Roger Hindley / Boek Gebonden (harde band)
common.buy 95.68 €
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Boek Gebonden (paperback)
common.buy 31.45 €
Goal Digger: Inspirational Quote Notebook, Beautiful Blue Marble and Rose Gold 8.5 x 11, 120 College Ruled Pages Blush Marble Notebooks / Boek Gebonden (paperback)
common.buy 8.59 €
Legendy zydowskiego Krakowa Legends of Jewish Krakow Artur Kiela / Boek Gebonden (paperback)
common.buy 6.56 €
Among the Fallen N. S. Dolkart / Boek Gebonden (paperback)
common.buy 12.13 €
Haints, Haunts and Hullabaloos: Etowah and Surrounding Counties Betty S McCoy / Boek Gebonden (paperback)
common.buy 13.04 €
Acute Migraine Treatment in Emergency Settings: Comparative Effectiveness Review Number 84 Agency for Healthcare Resea And Quality / Boek Gebonden (paperback)
common.buy 22.95 €
3-Note Exercise Book: Viola M Schottenbauer / Boek Gebonden (paperback)
common.buy 52.69 €
New Latin Reader ALBERT HARKNESS / Boek Gebonden (paperback)
common.buy 23.15 €
Your Best Health Ever!: The Cardiologist's Surprisingly Simple Guide to What Really Works Bret Scher M D / Boek Gebonden (paperback)
common.buy 13.04 €
Benjamin Poe goes Missing at the Zoo: Another school bus trip Lynne Pickering / Boek Gebonden (paperback)
common.buy 11.22 €
Peepo Puppy Beth Harwood / Boek Leporello (harmonicaboek)
common.buy 7.37 €
Encounters with the Contemporary Radical Right Peter H. Merkl / Boek Gebonden (harde band)
common.buy 226.89 €
Introduction to HR Technologies Stacey Harris / Boek Gebonden (paperback)
common.buy 49.05 €
Training Your Own Service Dog Max Matthews / Boek Gebonden (paperback)
common.buy 23.15 €
Python for Finance 2e Yves Hilpisch / Boek Gebonden (paperback)
common.buy 80.81 €
6 Full-Length PARCC Grade 4 Math Practice Tests Reza Nazari / Boek Gebonden (paperback)
common.buy 15.57 €
TOP
Putin Philip Short / Boek Gebonden (paperback)
common.buy 21.54 €
Saqqara Mastabas: Part I-II: 10 Hilda Petrie / Boek Gebonden (harde band)
common.buy 32.56 €
Arms and Armour in Antiquity and the Middle Ages: Also a Descriptive Notice of Modern Weapons Charles Boutell / Boek Gebonden (paperback)
common.buy 24.07 €
TOP
Happy Place Emily Henry / Boek Gebonden (paperback)
common.buy 9.09 €
The Process of Inductive Inference Frank Thilly / Boek Gebonden (paperback)
common.buy 14.56 €
Ancient Pompeii Pop-Ups David Hawcock / Boek Gebonden (harde band)
common.buy 14.86 €
Wisdom, Well-Being, Win-Win Isaac Sserwanga / Boek Gebonden (paperback)
common.buy 84.66 €

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?