Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 5.49 € Mensajería GLS 8.49 € Mensajería Correos 5.99 € Mensajería DHL 5.99 € Punto SEUR 4.49 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Lambda-Calculus and Combinators

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

J Roger Hindley

Idioma

Inglés

Libro Tapa dura

Código Libristo: 04095970

Editores Cambridge University Press, julio 2008

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into li... Descripción completa

Código Libristo: 04095970

249 b

101.69 €

Almacenamiento externo Envío en 9-13 días

Hasta 30 días para devoluciones

Clientes que también han comprado

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

Tapa blanda

285.19 €

La vita dopo Lettere Il Fuori Corso

Tapa blanda

12.59 €

Landesrecht Sachsen Kurt Faßbender

Tapa blanda

34.89 €

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

Tapa blanda

38.69 €

L'avion COLLECTIFS JEUN

Blu-ray

12.49 €

Die Farbe Lila Cornelia Holfelder-Von Der Tann

Tapa dura

18.79 €

Remekművek titkos élete Barki Gergely

Tapa dura

14.49 €

Wie man einen Dino besiegt Hans Wilhelm

Tapa dura

7.39 €

Was Erfolgreiche Unternehmen Ausmacht Armin Bindewald

Tapa dura

62.19 €

Claymore 09. Bd.9 Norihiro Yagi

Tapa blanda

9.49 €

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

Tapa blanda

7.39 €

La cucina ceca Petr Sýkora

Tapa dura

11.39 €

Projekt Hereze Marek Mahler

Tapa dura

11.39 €

Noční brána Peter May

Tapa dura

17.19 €

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

Tapa blanda

60.89 €

Suka doskonała Jolanta Dymowicz

Tapa blanda

11.99 €

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

Tapa blanda

9.39 €

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

CD de audio

19.89 €

Psychológia masových vrahov Andrej Drbohlav

Tapa blanda

25.99 €

The Vampire Diaries. Staffel.1, 6 DVDs. Staffel.1, 6 DVD-Video Joshua Butler

DVD

20.19 €

Gilles Deleuze, Félix Guattari François Dosse

Tapa blanda

38.49 €

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.