Robert P. Nederpelt Lazarom
Ph.D. Technische Universiteit Eindhoven 1973
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.
| Name | School | Year | Descendants |
|---|---|---|---|
| Bloo, Carolus (Roel) | Technische Universiteit Eindhoven | 1997 | |
| Borghuis, Valentijn (Tijn) | Technische Universiteit Eindhoven | 1994 | 1 |
| Dechesne, Francien | Tilburg University | 2005 | |
| de Kogel, Eric | Tilburg University | 1995 | |
| Laan, Twan | Technische Universiteit Eindhoven | 1997 |
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.