Hendrik Pieter Barendregt
Original record- Institution
- Universiteit Utrecht
- Year
- 1971
- Country
- Netherlands
- MGP identifier
- 49847
Dissertation: Some Extensional Terms for Combinatory Logics and Lambda-Calculi
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Georg KreiselInstitution not recorded
- Dirk van DalenUniversiteit van Amsterdam · 1963
Students 35
| Name | Institution | Year | Students |
|---|---|---|---|
| Erik Barendsen | Not recorded | — | 3 |
| Venanzio Capretta | Katholieke Universiteit Nijmegen | 2002 | 0 |
| Adriana Beatriz Compagnoni | Katholieke Universiteit Nijmegen | 1995 | 2 |
| Luis Cruz-Filipe | Radboud Universiteit Nijmegen | 2004 | 1 |
| Roelof Cornelis de Vrijer | Universiteit van Amsterdam | 1987 | 5 |
| Mariangiola Dezani-Ciancaglini | Katholieke Universiteit Nijmegen | 1996 | 11 |
| Jan Herman Geuvers | Katholieke Universiteit Nijmegen | 1993 | 21 |
| Silvia Ghilezan | University of Novi Sad | 1993 | 5 |
| Pieter Hendrik Hartel | Universiteit van Amsterdam | 1989 | 26 |
| Leendert Helmink | Universiteit van Amsterdam | 1992 | 0 |
| Aline Klazina Honingh | Universiteit van Amsterdam | 2006 | 0 |
| Marieke Huisman | Katholieke Universiteit Nijmegen | 2001 | 7 |
| Tonny (Antonius Jacobus Cornelius) Hurkens | Katholieke Universiteit Nijmegen | 1993 | 0 |
| Bart P. F. Jacobs | Katholieke Universiteit Nijmegen | 1991 | 25 |
| Gueorgui Ivanov Jojgov | Technische Universiteit Eindhoven | 2004 | 0 |
| Jan Willem Klop | Universiteit Utrecht | 1980 | 13 |
| Pieter Koopman | Katholieke Universiteit Nijmegen | 1990 | 2 |
| Christiaan Peter Jozef Koymans | Universiteit Utrecht | 1984 | 1 |
| Jan Kuper | Not recorded | — | 7 |
| Milad Niqui | Radboud Universiteit Nijmegen | 2004 | 1 |
| Eric Nöcker | Katholieke Universiteit Nijmegen | 1994 | 0 |
| Martijn Diederik Oostdijk | Technische Universiteit Eindhoven | 2001 | 1 |
| Erik Poll | Technische Universiteit Eindhoven | 1994 | 6 |
| Mark Pieter Jan Ruys | Not recorded | — | 0 |
| Paula Gabriela Severi | Not recorded | — | 0 |
| Sjaak Smetsers | Radboud Universiteit Nijmegen | 1993 | 5 |
| Morten Heine Sorensen | Københavns Universitet | 1997 | 0 |
| Bas Spitters | Katholieke Universiteit Nijmegen | 2003 | 1 |
| Milena Todovora Stefanova | Not recorded | — | 0 |
| Silvio Luigi Maria Valentini | Not recorded | — | 0 |
| Steffen J. van Bakel | Not recorded | — | 4 |
| Jean-Pierre van Draanen | Katholieke Universiteit Nijmegen | 1995 | 0 |
| Marko van Eekelen | Not recorded | — | 13 |
| Frank Arjan Waaldijk | Katholieke Universiteit Nijmegen | 1996 | 0 |
| Jan Zwanenburg | Technische Universiteit Eindhoven | 1999 | 0 |