Disputasdato
Disputas : Elisabeth Stenholm
Main content
Avhandlingens tittel
"Material Set Theory in Homotopy Type Theory"
Opponenter:
- Professor Nicolai Kraus, University of Nottingham
- Førsteamanuensis Paige North, Utrecht University
Leder av komiteen
Førsteamanuensis Michal Walicki
Disputasleder
Førsteamanuensis Anya Helene Bagge
Avhandling
https://bora.uib.no/bora-xmlui/browse?type=author (søk på kandidatens navn). Dersom den ikke er tilgjengelig her, kan den være tilgjengelig på forespørsel til kandidaten.
Åpent for alle interesserte.
Photo:
Håkon Robbestad Gylterud, UiB
