Login
From:
Homotopy Type Theory
(Uncensored)
subscribe
Erik Palmgren Memorial Conference | Homotopy Type Theory
https://homotopytypetheory.org/2020/11/15/erik-palmgren-memorial-conference/
links
backlinks
Erik Palmgren, 1963–2019 Erik Palmgren, professor of Mathematical Logic at Stockholm University, passed away unexpectedly in November 2019.This conference will be an online workshop to remember and…
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
