Weak omega-categories and their internal language in dependent type theory

Thibaut Benjamin

2023-03-17 14:00:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse