Utrecht University
Родился в 1947 году в Амстердаме. В 1952—1965 годы учился в образовательных учреждениях, использующих систему Монтессори. В 1967 году окончил Утрехтский университет по классу математической логики, получив степень магистра. В 1971 году под руководством и защитил докторскую диссертацию (Ph. D.) по экстенсиональным моделям λ-исчисления и комбинаторной логики.