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