Universes

Some slides

Erik Palmgren and the Higher Infinite in Type Theory, Memorial Conference for Erik Palmgren, 1963-2019, online, 19-21 November 2020.

Last modified: Thu Feb 25 13:37:20 CET 2021