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 Nijmegen19953
Capretta, VenanzioKatholieke Universiteit Nijmegen2002
Compagnoni, AdrianaKatholieke Universiteit Nijmegen19952
Cruz-Filipe, LuisRadboud Universiteit Nijmegen20041
de Vrijer, RoelofUniversiteit van Amsterdam19877
Dezani-Ciancaglini, MariangiolaKatholieke Universiteit Nijmegen199622
Geuvers, JanKatholieke Universiteit Nijmegen199331
Ghilezan, SilviaUniversity of Novi Sad19934
Hartel, PieterUniversiteit van Amsterdam198927
Helmink, LeendertUniversiteit van Amsterdam1992
Honingh, AlineUniversiteit van Amsterdam2006
Huisman, MariekeKatholieke Universiteit Nijmegen20016
Hurkens, TonnyKatholieke Universiteit Nijmegen1993
Jacobs, BartKatholieke Universiteit Nijmegen199155
Jojgov, GueorguiTechnische Universiteit Eindhoven2004
Koopman, PieterKatholieke Universiteit Nijmegen19903
Koymans, ChristiaanUniversiteit Utrecht19841
Kuper, JanUniversiteit Twente19947
Niqui, MiladRadboud Universiteit Nijmegen20041
Nöcker, EricKatholieke Universiteit Nijmegen1994
Oostdijk, MartijnTechnische Universiteit Eindhoven20018
Poll, ErikTechnische Universiteit Eindhoven19947
Ruys, MarkKatholieke Universiteit Nijmegen1999
Severi, PaulaKatholieke Universiteit Nijmegen1996
Smetsers, SjaakRadboud Universiteit Nijmegen19935
Sorensen, MortenKøbenhavns Universitet1997
Spitters, BasKatholieke Universiteit Nijmegen20031
Stefanova, MilenaKatholieke Universiteit Nijmegen1999
Valentini, SilvioKatholieke Universiteit Nijmegen2000
van Bakel, SteffenKatholieke Universiteit Nijmegen19935
van Draanen, Jean-PierreKatholieke Universiteit Nijmegen1995
van Eekelen, MarkoKatholieke Universiteit Nijmegen198813
Waaldijk, FrankKatholieke Universiteit Nijmegen1996
Zwanenburg, JanTechnische Universiteit Eindhoven1999

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