Gave a talk today at the HoTT/UF 2020 workshop. Which this year means
that I stood in my office in Bergen, and talked into a microphone which
broadcasted my non-sense to the world.
How I attended and participated in the
workshop!
Expecting a comment section? Feel free to e-mail me your comments, or
otherwise contact me to discuss the content of this site. See
my contact info. You can also write
your opinion on your own website, and link back here! ☺
Expecting a comment section? Feel free to e-mail me your comments, or otherwise contact me to discuss the content of this site. See my contact info. You can also write your opinion on your own website, and link back here! ☺