
por The Univalent Foundations Program · 2013
Sinopsis
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 relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.