El cálculo lambda y sus extensiones
1984·no ficcion
Una enciclopedia exhaustiva del cálculo lambda, su teoría, propiedades y diversas extensiones, considerada la obra de referencia definitiva en el campo.
Estamos experimentando algunos errores en la base de datos. Algunas funciones pueden no responder correctamente.
HB
HB
Henk Barendregt
holandés
Henk Barendregt es un destacado lógico y filósofo holandés conocido por su trabajo en el campo de la teoría de la computación y la lógica matemática. Su investigación ha influido en el desarrollo de lenguajes de programación y en la intersección de la lógica y la informática.
Obras en el archivo
16 títulos
The Lambda Calculus: Its Syntax and Semantics
1991
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.
Proofs and Types
1995
Type Systems
1997
Computability and Logic
2008
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.
Autores relacionados
Aparecen junto a Henk Barendregt en búsquedas del archivo