Henk Barendregt

Titels Prof. dr.
Voorletters H.P.
Hoofdfunctie Hoogleraar RU
Vakgebieden Wiskunde
  Informatica
Leeropdracht Grondslagen van de Wiskunde en Informatica
Domein Natuur- en Technische Wetenschappen
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