Hendrik Pieter Barendregt
Ph.D. Universiteit Utrecht and 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 and Katholieke Universiteit Nijmegen | 1995 | 3 |
| Capretta, Venanzio | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 2002 | |
| Compagnoni, Adriana | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 1995 | 2 |
| Cruz-Filipe, Luis | Radboud Universiteit Nijmegen and Radboud Universiteit Nijmegen | 2004 | 1 |
| de Vrijer, Roelof | Universiteit van Amsterdam and Universiteit van Amsterdam | 1987 | 8 |
| Dezani-Ciancaglini, Mariangiola | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 1996 | 23 |
| Geuvers, Jan | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 1993 | 36 |
| Ghilezan, Silvia | University of Novi Sad and University of Novi Sad | 1993 | 5 |
| Hartel, Pieter | Universiteit van Amsterdam and Universiteit van Amsterdam | 1989 | 27 |
| Helmink, Leendert | Universiteit van Amsterdam and Universiteit van Amsterdam | 1992 | |
| Honingh, Aline | Universiteit van Amsterdam and Universiteit van Amsterdam | 2006 | |
| Huisman, Marieke | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 2001 | 7 |
| Hurkens, Tonny | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 1993 | |
| Jacobs, Bart | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 1991 | 58 |
| Jojgov, Gueorgui | Technische Universiteit Eindhoven and Technische Universiteit Eindhoven | 2004 | |
| Klop, Jan Willem | Universiteit Utrecht and Universiteit Utrecht | 1980 | 29 |
| Koopman, Pieter | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 1990 | 3 |
| Koymans, Christiaan | Universiteit Utrecht and Universiteit Utrecht | 1984 | 1 |
| Kuper, Jan | Universiteit Twente and Universiteit Twente | 1994 | 7 |
| Niqui, Milad | Radboud Universiteit Nijmegen and Radboud Universiteit Nijmegen | 2004 | 1 |
| Nöcker, Eric | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 1994 | |
| Oostdijk, Martijn | Technische Universiteit Eindhoven and Technische Universiteit Eindhoven | 2001 | 8 |
| Poll, Erik | Technische Universiteit Eindhoven and Technische Universiteit Eindhoven | 1994 | 7 |
| Ruys, Mark | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 1999 | |
| Severi, Paula | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 1996 | |
| Smetsers, Sjaak | Radboud Universiteit Nijmegen and Radboud Universiteit Nijmegen | 1993 | 5 |
| Sorensen, Morten | Københavns Universitet and Københavns Universitet | 1997 | |
| Spitters, Bas | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 2003 | 1 |
| Stefanova, Milena | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 1999 | |
| Valentini, Silvio | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 2000 | |
| van Bakel, Steffen | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 1993 | 6 |
| van Draanen, Jean-Pierre | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 1995 | |
| van Eekelen, Marko | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 1988 | 13 |
| Waaldijk, Frank | Katholieke Universiteit Nijmegen and Katholieke Universiteit Nijmegen | 1996 | |
| Zwanenburg, Jan | Technische Universiteit Eindhoven and Technische Universiteit Eindhoven | 1999 |
According to our current on-line database, Hendrik Barendregt has 35 students and 221 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.