Henk Barendregt

Una enciclopedia exhaustiva del cálculo lambda, su teoría, propiedades y diversas extensiones, considerada la obra de referencia definitiva en el campo.

Este texto canónico es una exploración profunda del cálculo lambda, la base teórica de la programación funcional, cubriendo sus principios fundamentales, sistemas de tipado y propiedades metamatemáticas.

Este libro ofrece una perspectiva profunda sobre el cálculo lambda, explorando tanto su sintaxis como su semántica, y proporcionando un análisis riguroso y detallado que es fundamental para comprender el lenguaje de la computación moderna.

Este libro ofrece un tratamiento exhaustivo sobre la relación entre la computabilidad y la lógica, explorando temas como funciones computables, teoría de modelos y sistemas lógicos, con un enfoque detallado en los fundamentos matemáticos de ambas disciplinas.