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 ordered by family name.

NameSchoolYearDescendants
Borghuis, Valentijn (Tijn)Technische Universiteit Eindhoven19941
de Kogel, EricTilburg University1995
Bloo, Carolus (Roel)Technische Universiteit Eindhoven1997
Laan, TwanTechnische Universiteit Eindhoven1997
Dechesne, FrancienTilburg University2005

According to our current on-line database, Robert Nederpelt Lazarom has 5 students and 6 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.