Person. Henk Barendregt Radboud University · cs.ru.nl/~henk PhD advisorDirk van Dalen, Georg Kreisel PhD studentsHerman Geuvers PhDUtrecht University Master’sUtrecht University