El Cálculo Lambda y sus Aplicaciones
por Jean-Louis Krivine · 1993
Ver sugerenciasSinopsis
Una introducción rigurosa al cálculo lambda de Alonzo Church, explorando sus fundamentos y aplicaciones en la teoría de la computación y los lenguajes de programación funcionales.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.