Henk Barendregt
Expertise
Logica; Lambda calculus; Type theorie - 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
Website Navigatie:
Website Navigatie:
Ga terug naar de bovenkant van deze pagina
Ga terug naar de inhoud
Ga terug naar de site navigatie
Ga terug naar zoeken
