Magnus Baunsgaard Kristensen

15 June

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