Person. Anne Sjerp Troelstra PhD advisorArend Heyting PhD studentsMarc Bezem PhDUniversity of Amsterdam