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
Roast topics
Find topics
Find it!
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…
