Henk Barendregt

Doctorate from Utrecht University in 1971
Adviser: Georg Kreisel
Students: None reported