El libro de Jan von Plato profundiza en la teoría de tipos intuitiva, conectando con los fundamentos matemáticos que presenta HoTT.
Homotopy Type Theory: Univalent Foundations of Mathematics
por The Univalent Foundations Program · 2013
Ver sugerenciasSinopsis
Un libro seminal que presenta la teoría de tipos homotópicos (HoTT) como una nueva propuesta para los fundamentos de las matemáticas, combinando la teoría de tipos con la teoría de homotopía.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Emily Riehl conecta la teoría de homotopía con la categorización, ampliando la perspectiva sobre cómo los fundamentos matemáticos interactúan entre sí.
Bart Jacobs establece un vínculo directo entre lógica categórica y teoría de tipos, ofreciendo un marco robusto que unifica conceptos cruciales de HoTT.
Teoría de Tipos y Computación: Fundamentos y Aplicaciones
Bengt Nordström, Kent Petersson, Jan M. Smith
1990·divulgacion
La obra de Nordström y colaboradores introduce la teoría de tipos constructivos, explorando sus aplicaciones en programación y lógica, relevante para la fundamentación matemática.
Lawvere y Schanuel presentan la teoría de topos, ofreciendo nuevos modelos para la lógica, lo que redefine conceptos matemáticos fundamentales relacionados con HoTT.
Per Martin-Löf es pionero en la teoría de tipos intuicionista, un enfoque esencial en la construcción de los fundamentos matemáticos en HoTT.