Henk Barendregt

Titels Prof. dr.
Voorletters H.P.
Hoofdfunctie Hoogleraar RU
Vakgebieden Informatica
  Wiskunde
Leeropdracht Grondslagen van de Wiskunde en Informatica
Afdeling Afdeling Natuurkunde
Sectie Sectie Wiskunde
Lidmaatschap Lid
Sinds 1997
Verbonden aan Radboud Universiteit Nijmegen
Computing Science Institute
Postbus 9010
6500 GL Nijmegen
tel.  024 365 2642
henk@cs.ru.nl
Onderzoek/publicaties