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 ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Borghuis, Valentijn (Tijn) | Technische Universiteit Eindhoven | 1994 | 1 |
| de Kogel, Eric | Tilburg University | 1995 | |
| Bloo, Carolus (Roel) | Technische Universiteit Eindhoven | 1997 | |
| Laan, Twan | Technische Universiteit Eindhoven | 1997 | |
| Dechesne, Francien | Tilburg University | 2005 |
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.