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 ordered by family name.

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

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