Este libro ofrece una introducción integral a la teoría de tipos de Martin-Löf, similar a los fundamentos presentados en la obra de referencia.
Teoría de Tipos y Computación: Fundamentos y Aplicaciones
por Bengt Nordström, Kent Petersson, Jan M. Smith · 1990
Ver sugerenciasSinopsis
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
Explora la relación entre la teoría de tipos y la programación funcional, al igual que el enfoque del libro en la computación y la lógica matemática.
Profundiza en los sistemas de tipos en programación, reflejando la conexión entre teoría de tipos y aplicaciones prácticas que se encuentra en el texto de referencia.
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Peter B. Andrews
2002·divulgacion
Cubre tanto lógica matemática como teoría de tipos, alineándose con la estructura temática del libro sobre fundamentos matemáticos y su aplicación en programación.
Conecta la lógica matemática con los sistemas de tipos, explorando la correspondencia entre demostración y programación, un tema central en la obra de Nordström y colegas.
Proporciona una introducción formal a los tipos y lenguajes de programación, similar en enfoque a cómo el libro de referencia trata los fundamentos teóricos.