Este libro de Church profundiza en el cálculo lambda y su aplicación, similar al enfoque formal del lambda-cálculo en la obra de referencia.
Lambda-Cálculo de Tipo Simple
por Alonzo Church · 1940
Ver sugerenciasSinopsis
Una obra fundamental en lógica matemática que introduce el lambda-cálculo con tipos. Establece las bases teóricas de la computación y la programación funcional.
Sé el primero en valorar este libro.
Más de Alonzo Church
Ver autor →Otras obras del mismo autor en el catálogo
An Unsolvable Problem of Elementary Number Theory
1936
A Formulation of the Notion of Computability
1936
The Logical Foundations of Mathematics
1940
A Note on the Undecidability of Certain Functions
1940
The Calculi of Lambda-Conversion
1940
El Cálculo Lambda y sus Aplicaciones
1941
El Cálculo Lambda: Un Lenguaje Universal de Programación
1941
Lógica simbólica
1944
Introduction to Mathematical Logic
1956
Una Introducción a la Lógica Matemática
1956
Introducción a la Lógica y la Metamatemática
1956
Introducción a la lógica matemática
1956
Introducción a la Metalógica
1956
Mathematical Logic
1956
N-Category Café
1971
Libros similares
Libros relacionados según distintos criterios de búsqueda
Kleene explora la computabilidad y recursión, lo que coincide con los fundamentos teóricos que se establecen en el lambda-cálculo.
Shoenfield cubre la teoría de la recursión y modelos lógicos, elementos esenciales para entender el contexto del lambda-cálculo presentado por Church.
La obra de Church introduce el cálculo lambda como base teórica para la programación funcional, un aspecto que también se aborda en esta monografía.
Church presenta conceptos fundamentales de lógica matemática y el cálculo lambda, temas que son esenciales en el texto introductorio a la lógica matemática.