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

Click here to see the students listed in chronological order.

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

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.