Erik Palmgren
Original record- Institution
- Uppsala universitet
- Year
- 1991
- Country
- Sweden
- MGP identifier
- 105428
Dissertation: On Fixed Point Operators, Inductive Definitions and Universes in Martin-Löf's Type Theory
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Viggo Stoltenberg-HansenUniversity of Toronto · 1973
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| Jacopo Emmenegger | Stockholm University | 2019 | 0 |
| Christian Espíndola | Stockholm University | 2016 | 0 |
| Johan Georg Granström | Uppsala universitet | 2009 | 0 |
| Håkon Robbestad Gylterud | Stockholm University | 2017 | 1 |
| Anton Hedin | Not recorded | — | 0 |
| Olov Wilander | Not recorded | — | 0 |