Introduction to Homotopy Type Theory Dublin Core Títol Introduction to Homotopy Type Theory Autor Rijke Matèria Mathematics and Statistics Editor Cambridge University Press Data de publicació 2025 Identificador 9781108933568 Font https://doi.org/10.1017/9781108933568 Etiquetes Mathematics and Statistics ← ítem anterior Ítem següent →
