The Univalent Foundations Program es una iniciativa de investigación en matemáticas y teoría de tipos, que busca desarrollar una base formal para las matemáticas utilizando la teoría del tipo univalente. Es relevante por su enfoque innovador en la formalización y verificación de matemáticas a través de la teoría computacional.
2013·no ficcion
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.
Aparecen junto a The Univalent Foundations Program en búsquedas del archivo
