The homotopy theoretic point of view on dependent types

  1. Home
  2. Didattica
  3. Seminari
Relatore:  Matteo Spadetto - LS2N of the University of Nantes
  lunedì 1 dicembre 2025 alle ore 16.30 Sala Verde

We discuss two ways of formulating the semantics of type theory (the abstract homotopy-theoretic perspective and the categorical one) and the relationships between them, focusing on concrete examples.

Referente
Referente esterno
Data pubblicazione
25 novembre 2025

Offerta formativa

Condividi