Robert P. Nederpelt Lazarom


Ph.D. Technische Universiteit Eindhoven 1973 Netherlands
Dissertation: Strong Normalization in a Typed Lambda Calculus with Lambda Structured Types
Mathematics Subject Classification: 05—Combinatorics

Advisor: Nicolaas Govert de Bruijn
Advisor 2: Wouter Peremans

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Bloo, Carolus (Roel)Technische Universiteit Eindhoven1997
Borghuis, Valentijn (Tijn)Technische Universiteit Eindhoven1994
Laan, TwanTechnische Universiteit Eindhoven1997

According to our current on-line database, Robert Nederpelt Lazarom has 3 students and 3 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 63579 for the advisor ID.