Erik Barendsen
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Netherlands
- MGP identifier
- 104366
Dissertation: Types and Computations in Lambda Calculi and Graph Rewrite Systems
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Marcus Aloysius BezemUniversiteit Utrecht · 1986
- Hendrik Pieter BarendregtUniversiteit Utrecht · 1971
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Mark Pieter Jan Ruys | Not recorded | — | 0 |
| Milena Todovora Stefanova | Not recorded | — | 0 |
| Ilona Wilmont | Katholieke Universiteit Nijmegen | 2020 | 0 |