Robert P. Nederpelt Lazarom
Original record- Institution
- Technische Universiteit Eindhoven
- Year
- 1973
- Country
- Netherlands
- MGP identifier
- 63579
Dissertation: Strong Normalization in a Typed Lambda Calculus with Lambda Structured Types
Mathematics Subject Classification: 05—Combinatorics
Advisors 2
- Nicolaas Govert de BruijnVrije Universiteit Amsterdam · 1943
- Wouter PeremansUniversiteit van Amsterdam · 1949
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Carolus (Roel) Johannes Bloo | Technische Universiteit Eindhoven | 1997 | 0 |
| Valentijn (Tijn) Anton Johan Borghuis | Technische Universiteit Eindhoven | 1994 | 1 |
| Francien Dechesne | Tilburg University | 2005 | 0 |
| Eric Andreas de Kogel | Tilburg University | 1995 | 0 |
| Twan Dismas Laurens Laan | Technische Universiteit Eindhoven | 1997 | 0 |