Jan Willem Klop
Original record- Institution
- Universiteit Utrecht
- Year
- 1980
- Country
- Netherlands
- MGP identifier
- 66079
Dissertation: Combinatory reduction systems
Advisors 2
- Dirk van DalenUniversiteit van Amsterdam · 1963
- Hendrik Pieter BarendregtUniversiteit Utrecht · 1971
Students 13
| Name | Institution | Year | Students |
|---|---|---|---|
| Stefan Blom | Vrije Universiteit Amsterdam | 2001 | 0 |
| Mirna Bognar | Vrije Universiteit Amsterdam | 2002 | 0 |
| Hugo Elbers | Technische Universiteit Eindhoven | 1998 | 0 |
| Jörg Endrullis | Vrije Universiteit Amsterdam | 2010 | 2 |
| Clemens Grabmayer | Vrije Universiteit Amsterdam | 2005 | 1 |
| Ariya Isihara | Vrije Universiteit Amsterdam | 2010 | 0 |
| Jeroen Ketema | Vrije Universiteit Amsterdam | 2006 | 0 |
| Cynthia Kop | Vrije Universiteit Amsterdam | 2012 | 2 |
| Massimo Marchiori | Università degli Studi di Padova and Centrum voor Wiskunde en Informatica | 1997 | 0 |
| Aart Middeldorp | Vrije Universiteit Amsterdam | 1990 | 9 |
| Robert Jan (Rob) van Glabbeek | Vrije Universiteit Amsterdam | 1990 | 1 |
| Vincent van Oostrom | Vrije Universiteit Amsterdam | 1994 | 1 |
| Femke van Raamsdonk | Vrije Universiteit Amsterdam | 1996 | 2 |