Håkon Robbestad Gylterud
Original record- Institution
- Stockholm University
- Year
- 2017
- Country
- Sweden
- MGP identifier
- 215015
Dissertation: Univalent types, sets and multisets - investigations in dependent type theory
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Erik PalmgrenUppsala universitet · 1991
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Elisabeth Stenholm | Universitetet i Bergen | 2024 | 0 |