Hendrik Pieter Barendregt

MathSciNet


Ph.D. Universiteit Utrecht 1971 Netherlands
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.

NameSchoolYearDescendants
Barendsen, ErikKatholieke Universiteit Nijmegen1995
Capretta, VenanzioKatholieke Universiteit Nijmegen2002
Compagnoni, AdrianaKatholieke Universiteit Nijmegen19952
Cruz-Filipe, LuisRadboud Universiteit Nijmegen20041
de Vrijer, RoelofUniversiteit van Amsterdam19876
Dezani-Ciancaglini, MariangiolaKatholieke Universiteit Nijmegen199621
Geuvers, JanKatholieke Universiteit Nijmegen199324
Ghilezan, SilviaUniversity of Novi Sad19934
Hartel, PieterUniversiteit van Amsterdam198815
Honingh, AlineUniversiteit van Amsterdam2006
Hurkens, TonnyKatholieke Universiteit Nijmegen1993
Jacobs, BartKatholieke Universiteit Nijmegen199129
Jojgov, GueorguiTechnische Universiteit Eindhoven2004
Koopman, PieterKatholieke Universiteit Nijmegen19901
Koymans, ChristiaanUniversiteit Utrecht19841
Kuper, JanUniversiteit Twente1994
Niqui, MiladRadboud Universiteit Nijmegen2004
Oostdijk, MartijnTechnische Universiteit Eindhoven20014
Poll, ErikTechnische Universiteit Eindhoven19941
Ruys, MarkKatholieke Universiteit Nijmegen1999
Severi, PaulaKatholieke Universiteit Nijmegen1996
Smetsers, SjaakRadboud Universiteit Nijmegen19933
Sorensen, MortenKøbenhavns Universitet1997
Spitters, BasKatholieke Universiteit Nijmegen20031
Stefanova, MilenaKatholieke Universiteit Nijmegen1999
Valentini, SilvioKatholieke Universiteit Nijmegen2000
van Bakel, SteffenKatholieke Universiteit Nijmegen19935
van Eekelen, MarkoKatholieke Universiteit Nijmegen198813
Waaldijk, FrankKatholieke Universiteit Nijmegen1996
Zwanenburg, JanTechnische Universiteit Eindhoven1999

According to our current on-line database, Hendrik Barendregt has 30 students and 132 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.