The homotopy theoretic point of view on dependent types

Speaker
 Matteo Spadetto - LS2N of the University of Nantes

Date
 Dec 1, 2025 - Time: 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.

Data pubblicazione
Nov 25, 2025

Department
Computer Science