El Cálculo Lambda y sus Aplicaciones
por Dirk Van Dalen · 1987
Sinopsis
Este libro es una introducción al cálculo lambda, un sistema formal desarrollado por Alonzo Church, que es fundamental para la teoría de la computabilidad y los lenguajes de programación funcional.
Sé el primero en valorar este libro.
Más de Dirk Van Dalen
Ver autor →Otras obras del mismo autor en el catálogo
Categories for the Working Mathematician
1972
Foundations of Constructive Mathematics
1985
Mathematical Logic
1986
Proof Theory
1989
Mathematical Structures in Computer Science
1991
Intuitionistic Logic
1991
The Logic of Proofs and Computation
1994
Constructive Mathematics
1995
Intuitionistic Type Theory
1998
Computation and Proof
2000
Logics of Proofs
2002
Formal Methods in Computer Science
2003
The Logical Foundations of Mathematics and Computation
2004
Proof Theory and Formal Methods
2005
Cognitive Systems: From the East to the West
2010
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.