Magnus Baunsgaard Kristensen
Magnus Baunsgaard Kristensen, 15 June 2022, at 1 PM
Location: Aud. 2
Thesis: "Cubical modal type theories"
Professor Carsten Schürmann, IT University of Copenhagen (Chair)
Professor Andrew Pitts, University of Cambridge, UK
Associate professor Bas Spitters, Aarhus University, Denmark
Associate professor Rasmus Ejlers Møgelberg, IT University of Copenhagen