Louise Leclerc (Institut Polytechnique de Paris), A bunched approach to directed HoTT

Schedule

• Sept. 17, 2026, 13:45 - 14:45