Directed homotopy type theory

Paige Randall North

2022-12-01 10:30:00, #SéminaireLoVe
Salle B107, bâtiment B, Université de Villetaneuse