Zoom (Meeting ID 996 6732 5570, passcode 109362)


2021-06-01 16:15: Categorical Models of Explicit Substitutions (Valeria de Paiva (Topos Institute))