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 listed in chronological order.
| Name | School | Year | Descendants |
|---|---|---|---|
| Barendsen, Erik | Katholieke Universiteit Nijmegen | 1995 | 3 |
| Capretta, Venanzio | Katholieke Universiteit Nijmegen | 2002 | |
| Compagnoni, Adriana | Katholieke Universiteit Nijmegen | 1995 | 2 |
| Cruz-Filipe, Luis | Radboud Universiteit Nijmegen | 2004 | 1 |
| de Vrijer, Roelof | Universiteit van Amsterdam | 1987 | 7 |
| Dezani-Ciancaglini, Mariangiola | Katholieke Universiteit Nijmegen | 1996 | 23 |
| Geuvers, Jan | Katholieke Universiteit Nijmegen | 1993 | 33 |
| Ghilezan, Silvia | University of Novi Sad | 1993 | 5 |
| Hartel, Pieter | Universiteit van Amsterdam | 1989 | 27 |
| Helmink, Leendert | Universiteit van Amsterdam | 1992 | |
| Honingh, Aline | Universiteit van Amsterdam | 2006 | |
| Huisman, Marieke | Katholieke Universiteit Nijmegen | 2001 | 7 |
| Hurkens, Tonny | Katholieke Universiteit Nijmegen | 1993 | |
| Jacobs, Bart | Katholieke Universiteit Nijmegen | 1991 | 56 |
| Jojgov, Gueorgui | Technische Universiteit Eindhoven | 2004 | |
| Koopman, Pieter | Katholieke Universiteit Nijmegen | 1990 | 3 |
| Koymans, Christiaan | Universiteit Utrecht | 1984 | 1 |
| Kuper, Jan | Universiteit Twente | 1994 | 7 |
| Niqui, Milad | Radboud Universiteit Nijmegen | 2004 | 1 |
| Nöcker, Eric | Katholieke Universiteit Nijmegen | 1994 | |
| Oostdijk, Martijn | Technische Universiteit Eindhoven | 2001 | 8 |
| Poll, Erik | Technische Universiteit Eindhoven | 1994 | 7 |
| Ruys, Mark | Katholieke Universiteit Nijmegen | 1999 | |
| Severi, Paula | Katholieke Universiteit Nijmegen | 1996 | |
| Smetsers, Sjaak | Radboud Universiteit Nijmegen | 1993 | 5 |
| Sorensen, Morten | Københavns Universitet | 1997 | |
| Spitters, Bas | Katholieke Universiteit Nijmegen | 2003 | 1 |
| Stefanova, Milena | Katholieke Universiteit Nijmegen | 1999 | |
| Valentini, Silvio | Katholieke Universiteit Nijmegen | 2000 | |
| van Bakel, Steffen | Katholieke Universiteit Nijmegen | 1993 | 6 |
| van Draanen, Jean-Pierre | Katholieke Universiteit Nijmegen | 1995 | |
| van Eekelen, Marko | Katholieke Universiteit Nijmegen | 1988 | 13 |
| Waaldijk, Frank | Katholieke Universiteit Nijmegen | 1996 | |
| Zwanenburg, Jan | Technische Universiteit Eindhoven | 1999 |
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.