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 218 b
90.11 €
Te bestellen bij de uitgever Wordt binnen 17-26 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Mrok tej nocy. Vera. Tom 9 wyd. 2025 Ann Cleeves / Boek Gebonden (paperback)
common.buy 10.70 €
Wordt verwacht
EL OCASO DE LOS POBRES DIABLOS Villarroel / Boek Gebonden (paperback)
common.buy 22.92 €
Mistinguett Fuligni bruno / Boek Gebonden (paperback)
common.buy 25.05 €
Mémento 100% visuel des bilans sanguins IFSI Diot / Boek Gebonden (paperback)
common.buy 16.56 €
De Corporis Humani Gangliorum Fabrica Atque Usu: Monographia Karl Wilhelm Wutzer / Boek Gebonden (harde band)
common.buy 31.61 €
Stymulacja Prawej i Lewej Półkuli Mózgu Zeszyt 5 Analiza i synteza wzrokowa Materiał atematyczny Bala Agnieszka / Boek Gebonden (paperback)
common.buy 6.66 €
99 Tipps - Praxis-Ratgeber Schule für die Sekundarstufe I und II Ferdinand Tewes / Boek Gebonden (paperback)
common.buy 20.70 €
Gruppentherapie Andreas Pfeiffer / Boek Gebonden (paperback)
common.buy 28.48 €
Producción de leche y carne con Cratylia argetea en pastoreo Epigmenio Castillo Gallegos / Boek Gebonden (paperback)
common.buy 48.89 €
Das Prinzip des Mosaismus David Einhorn / Boek Gebonden (paperback)
common.buy 25.05 €
Wia tanzn is, 1 Audio-CD Die Strottern / Audio Audio cd
common.buy 23.03 €
Wordt verwacht
Georg Philipp Telemann und seine Zeit Siegbert Rampe / Boek Gebonden (harde band)
common.buy 41.72 €
Zszywacz 1011 A Czarny / Boek binding.
common.buy 2.62 €
Uso de extractos vegetales para control de plagas y enfermedades Neira Monica / Boek Gebonden (paperback)
common.buy 68.39 €
Karakterologija Jugoslovena I Vladimir Dvornikovic / Boek Gebonden (paperback)
common.buy 32.83 €
Schritte International Neu 2 Zeszyt ćwiczeń Praca Zbiorowa / Boek Gebonden (paperback)
common.buy 12.52 €
Zakłady holenderskie Radosław Jurczak / Boek Gebonden (paperback)
common.buy 5.95 €
Manuel d'auto-défense contre les violences psychologiques - Se protéger et s'en sortir Ariane Calvo / Boek Gebonden (paperback)
common.buy 21.71 €
La Javanaise - Tome 2/2 / Boek Gebonden (paperback)
common.buy 20.40 €
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.89 €

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

Beginning Reactive Programming with Swift Jesse Feiler / Boek Gebonden (paperback)
common.buy 28.99 €
Day Trading Strategies: Advanced Techniques to Trade for a Living with Options, Forex, Stocks and Futures. Tips, Tricks and Tools to Manage Da Paul Cohen / Boek Gebonden (paperback)
common.buy 16.96 €
TOP
School of Life Alain de Botton / Boek Gebonden (paperback)
common.buy 10.80 €
Biomedical Entanglements Franziska A. Herbst / Boek Gebonden (paperback)
common.buy 39.49 €
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.58 €
I'm Somebody and So Are You!: The Human Connection in Education Vera Ripp Hirschhorn / Boek Gebonden (paperback)
common.buy 13.02 €
Meditations Marcus Aurelius / Boek Gebonden (harde band)
common.buy 11.91 €
Cyber Operations Mike O'Leary / Boek Gebonden (paperback)
common.buy 67.08 €
To Promote the Experimental Analysis of the Human Blood. Essay the First. by Richard Davies, RICHARD DAVIES / Boek Gebonden (harde band)
common.buy 29.69 €
TOP
Rest Alex Soojung-Kim Pang / Boek Gebonden (paperback)
common.buy 12.62 €
Wordt verwacht
Flip Flap Snap: Jungle Joanna McInerney / Boek Gebonden (harde band)
common.buy 10.40 €
The Presence Centered Church Bill Elliff / Boek Gebonden (paperback)
common.buy 10.30 €
TOP
English Phrasal Verbs in Use Advanced Book with Answers Michael McCarthy / Boek Gebonden (paperback)
common.buy 26.06 €
Political Oratory of Emery A. Storrs Emery Alexander Storrs / Boek Gebonden (paperback)
common.buy 20.50 €
Hillman Cars James Taylor / Boek Gebonden (paperback)
common.buy 11.61 €
TALKING SIXTIES DRIVE-IN MOVIE Tom Lisanti / Boek Gebonden (paperback)
common.buy 23.73 €
TOP
Emotionally Absent Mother Jasmin Lee Cori / Boek Gebonden (paperback)
common.buy 14.24 €
SAP: SAP ABAP: The Ultimate Beginner's Guide Jameson Garner / Boek Gebonden (paperback)
common.buy 16.86 €
The Art of Organizing: An Artful Guide to an Organized Life / Boek Gebonden (harde band)
common.buy 22.82 €
One Good Turn Carla Kelly / Boek Gebonden (paperback)
common.buy 12.82 €
Tito's Private Concentration Camp. Political Violence in Communist Yugoslavia on the example of ?Goli Otok? / Boek Gebonden (paperback)
common.buy 14.44 €
Carnivorous Plants Torre / Boek Gebonden (paperback)
common.buy 17.57 €
New Economic Social Development John Lok / Boek Gebonden (paperback)
common.buy 34.44 €
Strange Adventures Mitch Gerads / Boek Gebonden (paperback)
common.buy 32.52 €

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?