Twan Dismas Laurens Laan
Original record- Institution
- Technische Universiteit Eindhoven
- Year
- 1997
- Country
- Netherlands
- MGP identifier
- 153194
Dissertation: The Evolution of Type Theory in Logic and Mathematics
Advisors 3
- Robert P. Nederpelt LazaromTechnische Universiteit Eindhoven · 1973
- Henricus Cornelius Maria de SwartKatholieke Universiteit Nijmegen · 1976
- Josephus Cornelis Maria BaetenUniversity of Minnesota - Twin Cities · 1985
Students 0
No students recorded in this snapshot.