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
Erik BarendsenKatholieke Universiteit Nijmegen1995
Venanzio CaprettaKatholieke Universiteit Nijmegen2002
Adriana CompagnoniKatholieke Universiteit Nijmegen19952
Luis Cruz-FilipeRadboud Universiteit Nijmegen2004
Roelof de VrijerUniversiteit van Amsterdam19873
Mariangiola Dezani-CiancagliniKatholieke Universiteit Nijmegen199613
Jan GeuversKatholieke Universiteit Nijmegen199310
Silvia GhilezanUniversity of Novi Sad1993
Pieter HartelUniversiteit van Amsterdam198813
Aline HoninghUniversiteit van Amsterdam2006
Tonny HurkensKatholieke Universiteit Nijmegen1993
Bart JacobsKatholieke Universiteit Nijmegen19912
Gueorgui JojgovTechnische Universiteit Eindhoven2004
Christiaan KoymansUniversiteit Utrecht1984
Jan KuperUniversiteit Twente1994
Milad NiquiRadboud Universiteit Nijmegen2004
Martijn OostdijkTechnische Universiteit Eindhoven2001
Erik PollTechnische Universiteit Eindhoven19941
Mark RuysKatholieke Universiteit Nijmegen1999
Paula SeveriKatholieke Universiteit Nijmegen1996
Sjaak SmetsersRadboud Universiteit Nijmegen19931
Morten SorensenUniversity of Copenhagen1997
Bas SpittersKatholieke Universiteit Nijmegen20031
Milena StefanovaKatholieke Universiteit Nijmegen1999
Silvio ValentiniKatholieke Universiteit Nijmegen2000
Steffen van BakelKatholieke Universiteit Nijmegen19934
Marko van EekelenKatholieke Universiteit Nijmegen19886
Frank WaaldijkKatholieke Universiteit Nijmegen1996
Jan ZwanenburgTechnische Universiteit Eindhoven1999

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