Thierry Coquand, Göteborgs universitet/Chalmers: Dependent Types, Homotopy and Formalisation of Mathematics
Översikt
Evenemanget har passerat
- Datum:Startar 13 november 2023, 15:30Slutar 13 november 2023, 16:30
- Plats:Euler, Fysikhuset, Skeppsgränd 3
- Språk:Engelska
För sammanfattning, se den engelska sidan.
Fika serveras i lunchrummet från kl 15.00.
