Mario Carneiro and Andrej Bauer: Universes in Set/Type Theory External Video-URL https://www.youtube.com/watch?v=f4yYkuTMoLw Preview-Image Search Engine Exclude no
