Erik Poll
Original record- Institution
- Technische Universiteit Eindhoven
- Year
- 1994
- Country
- Netherlands
- MGP identifier
- 116647
Dissertation: A Programming Logic Based on Type Theory
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 3
- Cornelis HemerikTechnische Universiteit Eindhoven · 1984
- Hendrik Pieter BarendregtUniversiteit Utrecht · 1971
- Frans Eduard Johan Kruseman AretzUniversiteit van Amsterdam · 1962
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| Cees-Bart Breunesse | Radboud Universiteit Nijmegen | 2006 | 0 |
| Joeri de Ruiter | Radboud Universiteit Nijmegen | 2015 | 0 |
| Hermann Lehner | Not recorded | — | 0 |
| Wolter Pieters | Radboud Universiteit Nijmegen | 2008 | 1 |
| Joachim van den Berg | Radboud Universiteit Nijmegen | 2009 | 0 |
| Fabian van den Broek | Radboud Universiteit Nijmegen | 2016 | 0 |