Hendrik Pieter Barendregt
Ph.D. Universiteit Utrecht 1971
Dissertation:
Some Extensional Terms for Combinatory Logics and Lambda-Calculi
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1: Dirk van Dalen
Advisor 2: Georg Kreisel
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Koymans, Christiaan | Universiteit Utrecht | 1984 | 1 |
| de Vrijer, Roelof | Universiteit van Amsterdam | 1987 | 7 |
| van Eekelen, Marko | Katholieke Universiteit Nijmegen | 1988 | 13 |
| Hartel, Pieter | Universiteit van Amsterdam | 1989 | 27 |
| Koopman, Pieter | Katholieke Universiteit Nijmegen | 1990 | 3 |
| Jacobs, Bart | Katholieke Universiteit Nijmegen | 1991 | 56 |
| Helmink, Leendert | Universiteit van Amsterdam | 1992 | |
| Geuvers, Jan | Katholieke Universiteit Nijmegen | 1993 | 33 |
| Ghilezan, Silvia | University of Novi Sad | 1993 | 5 |
| Hurkens, Tonny | Katholieke Universiteit Nijmegen | 1993 | |
| Smetsers, Sjaak | Radboud Universiteit Nijmegen | 1993 | 5 |
| van Bakel, Steffen | Katholieke Universiteit Nijmegen | 1993 | 6 |
| Kuper, Jan | Universiteit Twente | 1994 | 7 |
| Nöcker, Eric | Katholieke Universiteit Nijmegen | 1994 | |
| Poll, Erik | Technische Universiteit Eindhoven | 1994 | 7 |
| Barendsen, Erik | Katholieke Universiteit Nijmegen | 1995 | 3 |
| Compagnoni, Adriana | Katholieke Universiteit Nijmegen | 1995 | 2 |
| van Draanen, Jean-Pierre | Katholieke Universiteit Nijmegen | 1995 | |
| Dezani-Ciancaglini, Mariangiola | Katholieke Universiteit Nijmegen | 1996 | 23 |
| Severi, Paula | Katholieke Universiteit Nijmegen | 1996 | |
| Waaldijk, Frank | Katholieke Universiteit Nijmegen | 1996 | |
| Sorensen, Morten | Københavns Universitet | 1997 | |
| Ruys, Mark | Katholieke Universiteit Nijmegen | 1999 | |
| Stefanova, Milena | Katholieke Universiteit Nijmegen | 1999 | |
| Zwanenburg, Jan | Technische Universiteit Eindhoven | 1999 | |
| Valentini, Silvio | Katholieke Universiteit Nijmegen | 2000 | |
| Huisman, Marieke | Katholieke Universiteit Nijmegen | 2001 | 7 |
| Oostdijk, Martijn | Technische Universiteit Eindhoven | 2001 | 8 |
| Capretta, Venanzio | Katholieke Universiteit Nijmegen | 2002 | |
| Spitters, Bas | Katholieke Universiteit Nijmegen | 2003 | 1 |
| Cruz-Filipe, Luis | Radboud Universiteit Nijmegen | 2004 | 1 |
| Jojgov, Gueorgui | Technische Universiteit Eindhoven | 2004 | |
| Niqui, Milad | Radboud Universiteit Nijmegen | 2004 | 1 |
| Honingh, Aline | Universiteit van Amsterdam | 2006 |
According to our current on-line database, Hendrik Barendregt has 34 students and 194 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 49847 for the advisor ID.