Cálculo de Construcciones
por Thierry Coquand · 1988
Sinopsis
Un trabajo seminal en lógica y fundamentos de la informática que introduce un sistema formal para el desarrollo de programas correctos y la demostración de teoremas, basado en la teoría de tipos.
Sé el primero en valorar este libro.
Más de Thierry Coquand
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda