Disputasdato
Disputas : Stefano Piceghello
Main content
Avhandlingens tittel
"Coherence for Monoidal and Symmetric Monoidal Groupoids in Homotopy Type Theory"
Opponenter:
- Professor Herman Geuvers, Institute for Computing and Information Sciences, Nijmegen, Netherlands
- Forsker Egbert Rijke, Fakulteta za Matematiko in Fiziko, Ljubljana, Slovenia
Leder av komiteen
Professor Irina Markina
Disputasleder
Professor Sigmund Selberg
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.