Compartir
Lambda-Calculus and Combinators 2nd Edition Hardback: An Introduction (en Inglés)
J. Roger Hindley
(Autor)
·
Jonathan P. Seldin
(Autor)
·
Cambridge University Press
· Tapa Dura
Lambda-Calculus and Combinators 2nd Edition Hardback: An Introduction (en Inglés) - Hindley, J. Roger ; Seldin, Jonathan P.
$ 137.531
$ 171.914
Ahorras: $ 34.383
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: España
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Jueves 04 de Julio y el
Lunes 15 de Julio.
Lo recibirás en cualquier lugar de Argentina entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Lambda-Calculus and Combinators 2nd Edition Hardback: An Introduction (en Inglés)"
Combinatory logic and lambda-calculus, originally devised in the 1920's, 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 long-awaited new version is thoroughly revised and offers a fully up-to-date 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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Dura.
✓ Producto agregado correctamente al carro, Ir a Pagar.