Elisabeth Stenholm
Original record- Institution
- Universitetet i Bergen
- Year
- 2024
- Country
- Norway
- MGP identifier
- 327891
Dissertation: Material Set Theory in Homotopy Type Theory
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Anders MörtbergChalmers Tekniska Högskola · 2014
- Håkon Robbestad GylterudStockholm University · 2017
Students 0
No students recorded in this snapshot.