Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Lambda-Calculus and Combinators

Name: Lambda-Calculus and Combinators
Brand: Cambridge University Press
SKU: 04095970
Price: 37532 HUF
Availability: InStock
Author: J Roger Hindley
ISBN: 9780521898850

J Roger Hindley

Language

English

Book Hardback

Libristo code: 04095970

Publishers Cambridge University Press, July 2008

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into li... Full description

Libristo code: 04095970

249 b

37 532 Ft

In stock at our supplier Shipping in 10-16 days

Up to 30 days for returns

Customers also purchased

Geographers of the Ancient Greek World 2 Volume Hardback Set D. Graham J. Shipley

Paperback

104 980 Ft

LA VERDAD QUE NOS UNE CAMPOS

Paperback

4 859 Ft

Landesrecht Sachsen Kurt Faßbender

Paperback

12 645 Ft

La Tregua Interior ATAHUALPA CAMPOS

Paperback

4 859 Ft

La vita dopo Lettere Il Fuori Corso

Paperback

4 693 Ft

Ein Aquarell über das Leben von Straßenjugendlichen Fernanda Silva de Almeida Resende

Paperback

22 035 Ft

Obezita Malými krůčky k velké změně Iva Málková

Paperback

2 384 Ft

Transitions: Les nouvelles Annales des Ponts et Chaussées, n°4 Tassin

Book

10 880 Ft

Sting Legend Richard Lecocq

Hardback

16 343 Ft

Icones plantarum medicinalium Johannes Zorn

Paperback

8 224 Ft

Lambacher Schweizer Mathematik 8. Schulbuch Klasse 8. Ausgabe Thüringen und Hamburg

Paperback

14 021 Ft

miniLÜK. Tl.1 Heinz Vogel

Sheet

3 094 Ft

????????? ?????????????????????? (II) Paul C. Jong

Adobe ePub DRM

1 133 Ft

Claymore 09. Bd.9 Norihiro Yagi

Paperback

3 289 Ft

Was Erfolgreiche Unternehmen Ausmacht Armin Bindewald

Hardback

22 502 Ft

Wie man einen Dino besiegt Hans Wilhelm

Hardback

2 670 Ft

Remekművek titkos élete Barki Gergely

Hardback

4 655 Ft

Vision zur Optimierung nationaler Erdgasunternehmen Csaba Holyevácz

Paperback

15 649 Ft

Psychológia masových vrahov Andrej Drbohlav

Paperback

5 116 Ft

Törött tükör V. C. Andrews

Paperback

3 229 Ft

Best Of R.E.M.At The BBC R. E. M.

Audio CD

6 820 Ft

Suka doskonała Jolanta Dymowicz

Paperback

4 302 Ft

L'avion COLLECTIFS JEUN

Blu-ray

4 512 Ft

Vulnérabilités au travail naissance et actualité de la psychopathologie du travail Veil

Paperback

7 291 Ft

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.