Salta al contingut principal

Introduction to Homotopy Type Theory

Introduction to Homotopy Type Theory

Autor: Rijke
Matèria: Computer Science; Mathematics; Logic; Categories and Sets; Programming Languages and Applied Logic
Editor: Cambridge University Press
Data publicació: 2025
Identificador: 9781108933568
Col·lecció: Computer Science and Information Technology
Accés