Homotopy Type Theory: Univalent Foundations of Mathematics
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 similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.