Person. Dirk van Dalen PhD advisorArend Heyting PhD studentsHenk Barendregt, Jan Bergstra, Marc Bezem PhDUniversity of Amsterdam