Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Introduction to Lambada Calculi for Computer Scientists

Limba englezăengleză
Carte Carte broșată
Carte Introduction to Lambada Calculi for Computer Scientists C Hankin
Codul Libristo: 04178609
Editura Kings College Publications, februarie 2004
The lambda-calculus lies at the very foundations of computer science. Besides its historical role... Descrierea completă
? points 47 b
101.99 lei
În depozitul extern Expediem în 10-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Introducao Ao Calculo Lambda Chris Hankin / Carte Carte broșată
common.buy 122.41 lei
Horoskop der Liebe - Sternzeichen Schutze Lea Aubert / Carte Carte broșată
common.buy 42.29 lei
Registros contables / Carte Carte broșată
common.buy 129.70 lei
Lideratges, poder i revolta GAMPER SACHSE / Carte Carte broșată
common.buy 71.36 lei
Le Dictionnaire des écrivains français Garcin / Carte Carte broșată
common.buy 149.08 lei
Vermouth di Torino. Storia e produzione del più famoso vino aromatizzato Fulvio Piccinino / Carte Carte broșată
common.buy 165.34 lei
20 kompakte Lesetests für Klasse 3/4 Anne Scheller / Carte Foaie
common.buy 124.70 lei
Fantozzi Paolo Villaggio / Carte Carte broșată
common.buy 76.57 lei
vita giocata Daniela Rossi / Carte Carte broșată
common.buy 155.12 lei
Solo Dios basta : la oración en la vida del Pastor Franco Brovelli / Carte Carte broșată
common.buy 71.77 lei
Der Maya-Kalender 1501-1600 n.Chr. John Seberg / Carte Carte broșată
common.buy 296.82 lei
Protecting the Body in War and Combat: Metal Body Armour in Bronze Age Europe Modlinger Carte Carte broșată
common.buy 724.93 lei
Nord-Pakistan Martin Wein / Carte Copertă tare
common.buy 93.76 lei
Les enquêtes de l'inspecteur Higgins - tome 1 Le crime de la momie Christian Jacq / Carte Carte broșată
common.buy 100.43 lei
Estrategias para mejorar la práctica docente Jesús María Nieto Gil / Carte Carte broșată
common.buy 122.62 lei
Im Nebel des Krieges Richard Swan / E-book Adobe ePub DRM
common.buy 86.36 lei
Habitus und die Illusion individueller Selbstbestimmung. Implikationen fur das politische Subjekt Stefan Zapfel / Carte Carte broșată
common.buy 247.96 lei
En plural A1, manual de clase RODRIGUEZ MARTIN / Carte Carte broșată
common.buy 108.45 lei
Dresden in der DDR-Zeit Hans-Jürgen Freudenberger / Carte Copertă tare
common.buy 77.19 lei
¿Quién rescato a quién? / Carte Copertă tare
common.buy 156.37 lei
Język angielski na budowie Ćwiczenia Lewandowski Paweł / Carte Carte broșată
common.buy 65.32 lei
Beruehmte Katzen Eva Saunders / Carte Carte broșată
common.buy 56.35 lei
Toulavá kamera 28 Iveta Toušlová / Carte Copertă tare
common.buy 64.17 lei
Wer hat meinen Vater umgebracht Édouard Louis / Carte Carte broșată
common.buy 57.50 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Introduction to Lambada Calculi for Computer Scientists
Autor C Hankin
Limba engleză
Legare Carte - Carte broșată
Data publicării 2004
Număr pagini 180
EAN 9780954300654
ISBN 0954300653
Codul Libristo 04178609
Editura Kings College Publications
Greutatea 276
Dimensiuni 155 x 229 x 12

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer science
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Lambda-Calculus and Combinators J Roger Hindley / Carte Copertă tare
common.buy 525.72 lei
Lambda Calculus. Its Syntax and Semantics Henk Barendregt / Carte Carte broșată
common.buy 156.69 lei
Goal Digger: Inspirational Quote Notebook, Beautiful Blue Marble and Rose Gold 8.5 x 11, 120 College Ruled Pages Blush Marble Notebooks / Carte Carte broșată
common.buy 47.08 lei
Legendy zydowskiego Krakowa Legends of Jewish Krakow Artur Kiela / Carte Carte broșată
common.buy 34.48 lei
Among the Fallen N. S. Dolkart / Carte Carte broșată
common.buy 63.54 lei
Haints, Haunts and Hullabaloos: Etowah and Surrounding Counties Betty S McCoy / Carte Carte broșată
common.buy 71.98 lei
Acute Migraine Treatment in Emergency Settings: Comparative Effectiveness Review Number 84 Agency for Healthcare Resea And Quality / Carte Carte broșată
common.buy 126.47 lei
3-Note Exercise Book: Viola M Schottenbauer / Carte Carte broșată
common.buy 290.46 lei
New Latin Reader ALBERT HARKNESS / Carte Carte broșată
common.buy 127.31 lei
Your Best Health Ever!: The Cardiologist's Surprisingly Simple Guide to What Really Works Bret Scher M D / Carte Carte broșată
common.buy 71.77 lei
Benjamin Poe goes Missing at the Zoo: Another school bus trip Lynne Pickering / Carte Carte broșată
common.buy 61.88 lei
Peepo Puppy Beth Harwood / Carte Cărți pliante
common.buy 40.83 lei
Encounters with the Contemporary Radical Right Peter H. Merkl / Carte Copertă tare
common.buy 1 321.30 lei
Introduction to HR Technologies Stacey Harris / Carte Carte broșată
common.buy 269.73 lei
Training Your Own Service Dog Max Matthews / Carte Carte broșată
common.buy 129.08 lei
Python for Finance 2e Yves Hilpisch / Carte Carte broșată
common.buy 443.93 lei
6 Full-Length PARCC Grade 4 Math Practice Tests Reza Nazari / Carte Carte broșată
common.buy 85.74 lei
Top
Putin Philip Short / Carte Carte broșată
common.buy 107.20 lei
Saqqara Mastabas: Part I-II: 10 Hilda Petrie / Carte Copertă tare
common.buy 179.19 lei
Arms and Armour in Antiquity and the Middle Ages: Also a Descriptive Notice of Modern Weapons Charles Boutell / Carte Carte broșată
common.buy 132.31 lei
Top
Happy Place Emily Henry / Carte Carte broșată
common.buy 47.91 lei
The Process of Inductive Inference Frank Thilly / Carte Carte broșată
common.buy 80.32 lei
Ancient Pompeii Pop-Ups David Hawcock / Carte Copertă tare
common.buy 77.92 lei
Wisdom, Well-Being, Win-Win Isaac Sserwanga / Carte Carte broșată
common.buy 420.91 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?