La lógica combinatoria y el cálculo lambda, ideados originalmente en la década de 1920, se han convertido desde entonces en herramientas lingüísticas especialmente útiles en los lenguajes de programación. El libro anterior de los autores sirvió como referencia principal para los cursos introductorios sobre cálculo lambda durante más de 20 años: esta versión está completamente revisada y ofrece una descripción del tema con la misma exposición autorizada. Se discuten la gramática y las propiedades básicas tanto de la lógica combinatoria como del cálculo lambda, seguido de una introducción a la teoría de tipos. Se tratan las versiones mecanografiadas y no tipificadas de los sistemas y sus diferencias. Los modelos de cálculo lambda, que subyacen a gran parte de la semántica de los lenguajes de programación, también se explican en profundidad. El tratamiento es lo menos técnico posible, con las ideas principales enfatizadas e ilustradas con ejemplos. Se incluyen muchos ejercicios, desde los rutinarios hasta los avanzados, con soluciones a la mayoría al final del libro. Idioma: Inglés