Henk Barendregt
Expertise
Logic; Lambda calculus; Type theory - Titles
- Prof. dr.
- Initials
- H.P.
- Main position
- Hoogleraar RU
- Disciplines
- Computer science
- Mathematics
- Chair
- Grondslagen van de Wiskunde en Informatica
- Division
- Science Division
- Section
- Mathematics Section
- Membership
- Member
- Since
- 1997
- Employed by
- Radboud Universiteit Nijmegen
Computing Science Institute
Postbus 9010
6500 GL Nijmegen
tel. 024 365 2642
henk@cs.ru.nl
Research/publications
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
