Analiza en profundidad los principios del cálculo lambda, similar a cómo Barendregt trata la base matemática de la programación funcional.
Programación funcional con lambda-cálculo
por H.P. Barendregt · 1984
Ver sugerenciasSinopsis
Aunque es un texto más académico, presenta una introducción exhaustiva al lambda-cálculo de Church, la base matemática de la programación funcional. Explora la computabilidad, la recursión y la evaluación de expresiones de una manera rigurosa.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Explora la programación funcional desde una perspectiva didáctica, al igual que Barendregt lo hace con un enfoque riguroso sobre el lambda-cálculo.
Presenta fundamentos matemáticos que respaldan la programación funcional, reflejando la rigurosidad académica que caracteriza a la obra de Barendregt.
Considerado una obra de referencia, este libro aborda la teoría y propiedades del cálculo lambda con la misma profundidad que Barendregt.
Un análisis exhaustivo de la semántica del cálculo lambda que complementa la estructura teórica presentada por Barendregt en su texto.
Introduce el cálculo lambda como sistema formal esencial, alineándose con el enfoque de Barendregt sobre la teoría de la computabilidad.