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 Calculi

A Guide for Computer Scientists

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Lambda Calculi Chris Hankin
Libristo-code: 04527520
Uitgeverij Oxford University Press, oktober 1994
The *L-calculus lies at the very foundations of Computer Science. Besides its historical role in co... Volledige beschrijving
? points 214 b
88.67 €
Te bestellen bij de uitgever Wordt binnen 17-26 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Le Théâtre Social en France de 1870 a Nos Jours Armand Kahn / Boek Gebonden (paperback)
common.buy 21.27 €
Stymulacja Prawej i Lewej Półkuli Mózgu Zeszyt 5 Analiza i synteza wzrokowa Materiał atematyczny Bala Agnieszka / Boek Gebonden (paperback)
common.buy 6.48 €
100 citations de Jean de La Bruyere Bruyere / Luisterboek MP3
common.buy 3.94 €
De Corporis Humani Gangliorum Fabrica Atque Usu: Monographia Karl Wilhelm Wutzer / Boek Gebonden (harde band)
common.buy 31.71 €
Mistinguett Fuligni bruno / Boek Gebonden (paperback)
common.buy 24.82 €
99 Tipps - Praxis-Ratgeber Schule für die Sekundarstufe I und II Ferdinand Tewes / Boek Gebonden (paperback)
common.buy 20.77 €
Uso de extractos vegetales para control de plagas y enfermedades Neira Monica / Boek Gebonden (paperback)
common.buy 68.60 €
Wordt verwacht
Georg Philipp Telemann und seine Zeit Siegbert Rampe / Boek Gebonden (harde band)
common.buy 41.85 €
Le Petit Nicolas Et Les Copains René Goscinny / Boek Gebonden (paperback)
common.buy 11.04 €
Wia tanzn is, 1 Audio-CD Die Strottern / Audio Audio cd
common.buy 23.10 €
Zszywacz 1011 A Czarny / Boek binding.
common.buy 2.62 €
Karakterologija Jugoslovena I Vladimir Dvornikovic / Boek Gebonden (paperback)
common.buy 32.93 €
Schritte International Neu 2 Zeszyt ćwiczeń Praca Zbiorowa / Boek Gebonden (paperback)
common.buy 12.56 €
Zakłady holenderskie Radosław Jurczak / Boek Gebonden (paperback)
common.buy 7.08 €
Gruppentherapie Andreas Pfeiffer / Boek Gebonden (paperback)
common.buy 28.47 €
Manuel d'auto-défense contre les violences psychologiques - Se protéger et s'en sortir Ariane Calvo / Boek Gebonden (paperback)
common.buy 21.48 €
La Javanaise - Tome 2/2 / Boek Gebonden (paperback)
common.buy 20.16 €
Otto Skorzeny, el nazi más peligroso en la España de Franco FRANCISCO J. RODRIGUEZ DE GASPAR DONES / Boek Gebonden (paperback)
common.buy 28.97 €

The *L-calculus lies at the very foundations of Computer Science. Besides its historical role in compatibility 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 *L-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability and the relationship between the *L -calculus and Combinatoryh Logic. Chapter 7 presents a variety of typed calculi; first the simply typed *L-calculus, then Milner-style polymorphism and, finally the polymorphic *L-calculus. Chapter 8 concerns three variants of the type-free *L-calculus that have recently appeared in the research literature: the lazy *L calculus, the concurrent *Y-calculus and the *L*O-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, the 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 Lambda Calculi
Auteur Chris Hankin
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1994
Aantal pagina's 176
EAN 9780198538400
ISBN 0198538405
Libristo-code 04527520
Uitgeverij Oxford University Press
Gewicht 280
Afmetingen 233 x 156 x 13

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
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

Wordt verwacht
Flip Flap Snap: Jungle Joanna McInerney / Boek Gebonden (harde band)
common.buy 10.43 €
Landon's Little Black Book: The Perfect Dating Companion for a Handsome Man Named Landon. A secret place for names, phone numbers, and addresses. Wingman Publishing / Boek Gebonden (paperback)
common.buy 8.60 €
I'm Somebody and So Are You!: The Human Connection in Education Vera Ripp Hirschhorn / Boek Gebonden (paperback)
common.buy 13.06 €
Meditations Marcus Aurelius / Boek Gebonden (harde band)
common.buy 12.66 €
Cyber Operations Mike O'Leary / Boek Gebonden (paperback)
common.buy 67.28 €
To Promote the Experimental Analysis of the Human Blood. Essay the First. by Richard Davies, RICHARD DAVIES / Boek Gebonden (harde band)
common.buy 29.79 €
Carnivorous Plants Torre / Boek Gebonden (paperback)
common.buy 17.62 €
Beginning Reactive Programming with Swift Jesse Feiler / Boek Gebonden (paperback)
common.buy 29.08 €
Rest Alex Soojung-Kim Pang / Boek Gebonden (paperback)
common.buy 12.66 €
Biomedical Entanglements Franziska A. Herbst / Boek Gebonden (paperback)
common.buy 39.62 €
Tito's Private Concentration Camp. Political Violence in Communist Yugoslavia on the example of ?Goli Otok? / Boek Gebonden (paperback)
common.buy 14.48 €
The Presence Centered Church Bill Elliff / Boek Gebonden (paperback)
common.buy 10.33 €
One Good Turn Carla Kelly / Boek Gebonden (paperback)
common.buy 12.86 €
TOP
English Phrasal Verbs in Use Advanced Book with Answers Michael McCarthy / Boek Gebonden (paperback)
common.buy 26.85 €
Political Oratory of Emery A. Storrs Emery Alexander Storrs / Boek Gebonden (paperback)
common.buy 20.56 €
Hillman Cars James Taylor / Boek Gebonden (paperback)
common.buy 10.43 €
TALKING SIXTIES DRIVE-IN MOVIE Tom Lisanti / Boek Gebonden (paperback)
common.buy 23.81 €
The Art of Organizing: An Artful Guide to an Organized Life / Boek Gebonden (harde band)
common.buy 23.30 €
EROTIC ART IN THE 18TH CENTURY Cassidy Hughes / Boek Gebonden (paperback)
common.buy 23.20 €
Lore and Lust Book Three Karla Nikole / Boek Gebonden (paperback)
common.buy 19.45 €
TOP
Sonic The Hedgehog: The IDW Collection, Vol. 2 Evan Stanley / Boek Gebonden (harde band)
common.buy 47.12 €
TOP
The Silva Mind Control Method José Silva / Boek Gebonden (paperback)
common.buy 15.09 €
Flashpoints Michael Napier / Boek Gebonden (harde band)
common.buy 36.98 €
Fold Home Flos Jewell 1893- Williams / Boek Gebonden (harde band)
common.buy 33.64 €

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