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 courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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: 36389 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

36 389 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

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

Paperback

101 785 Ft

La Tregua Interior ATAHUALPA CAMPOS

Paperback

4 711 Ft

Landesrecht Sachsen Kurt Faßbender

Paperback

12 279 Ft

LA VERDAD QUE NOS UNE CAMPOS

Paperback

4 711 Ft

La vita dopo Lettere Il Fuori Corso

Paperback

4 550 Ft

miniLÜK. Tl.1 Heinz Vogel

Sheet

2 999 Ft

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

Book

10 987 Ft

In This City They Call You Love Richard Hawley

Audio CD

5 620 Ft

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

Paperback

21 365 Ft

Wie man einen Dino besiegt Hans Wilhelm

Hardback

2 603 Ft

Georg Simon Ohm. Briefe, Urkunden und Dokumente Ludwig Hartmann

Paperback

13 959 Ft

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

Paperback

7 508 Ft

L'avion COLLECTIFS JEUN

Blu-ray

4 813 Ft

Suka doskonała Jolanta Dymowicz

Paperback

4 171 Ft

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

Paperback

3 221 Ft

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

Audio CD

6 613 Ft

praktische Theologie nach den Grundsatzen der evangelischen Kirche im Zusammenhang dargestellt Friedrich Schleiermacher

Hardback

110 419 Ft

Projekt Hereze Marek Mahler

Hardback

3 788 Ft

Icones plantarum medicinalium Johannes Zorn

Paperback

7 974 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.