Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Lambda-Calculus and Combinators

Name: Lambda-Calculus and Combinators
Brand: Cambridge University Press
SKU: 04095970
Price: 98.99 EUR
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

242 b

98.99 € VAT included

In stock at our supplier Shipping in 9-15 days

Delivery to Austria

30-day return policy

Customers also purchased

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

Paperback

277.49 €

La Tregua Interior ATAHUALPA CAMPOS

Paperback

12.69 €

Landesrecht Sachsen Kurt Faßbender

Paperback

33.29 €

LA VERDAD QUE NOS UNE CAMPOS

Paperback

12.69 €

La vita dopo Lettere Il Fuori Corso

Paperback

12.29 €

miniLÜK. Tl.1 Heinz Vogel

Sheet

8.09 €

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

Book

31.99 €

In This City They Call You Love Richard Hawley

Audio CD

15.99 €

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

Paperback

61.90 €

Wie man einen Dino besiegt Hans Wilhelm

Hardback

7.50 €

Georg Simon Ohm. Briefe, Urkunden und Dokumente Ludwig Hartmann

Paperback

37.89 €

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

Paperback

21.89 €

L'avion COLLECTIFS JEUN

Blu-ray

13.99 €

Suka doskonała Jolanta Dymowicz

Paperback

12.29 €

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

Paperback

8.79 €

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

Audio CD

24.99 €

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

Hardback

299.39 €

Projekt Hereze Marek Mahler

Hardback

11.19 €

Icones plantarum medicinalium Johannes Zorn

Paperback

22.90 €

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.