Teoría de Tipos y Computación: Fundamentos y Aplicaciones
por Bengt Nordström, Kent Petersson, Jan M. Smith · 1990
Sinopsis
Un libro clave que introduce la teoría de tipos constructivos de Martin-Löf y explora su relación con la programación, la lógica y la fundamentación de las matemáticas.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda