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 Nijmegen2004
de Vrijer, RoelofUniversiteit van Amsterdam19876
Dezani-Ciancaglini, MariangiolaKatholieke Universiteit Nijmegen199617
Geuvers, JanKatholieke Universiteit Nijmegen199314
Ghilezan, SilviaUniversity of Novi Sad19931
Hartel, PieterUniversiteit van Amsterdam198814
Honingh, AlineUniversiteit van Amsterdam2006
Hurkens, TonnyKatholieke Universiteit Nijmegen1993
Jacobs, BartKatholieke Universiteit Nijmegen19917
Jojgov, GueorguiTechnische Universiteit Eindhoven2004
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, MortenUniversity of Copenhagen1997
Spitters, BasKatholieke Universiteit Nijmegen20031
Stefanova, MilenaKatholieke Universiteit Nijmegen1999
Valentini, SilvioKatholieke Universiteit Nijmegen2000
van Bakel, SteffenKatholieke Universiteit Nijmegen19934
van Eekelen, MarkoKatholieke Universiteit Nijmegen198812
Waaldijk, FrankKatholieke Universiteit Nijmegen1996
Zwanenburg, JanTechnische Universiteit Eindhoven1999

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