Archives quotidiennes :

Riehl : a type theory for synthetic ∞-categories

Publicités