Steffen J. van Bakel
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Netherlands
- MGP identifier
- 104367
Dissertation: Intersection Type Disciplines in Lambda Calculus and Applicative Term Rewriting Systems
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 3
- Mariangiola Dezani-CiancagliniKatholieke Universiteit Nijmegen · 1996
- Hendrik Pieter BarendregtUniversiteit Utrecht · 1971
- Marinus M.J. (Rinus) PlasmeijerRadboud Universiteit Nijmegen · 1981
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Elham Kashefi | Imperial College London | 2003 | 2 |
| Jayshan Raghunandan | Imperial College London | 2009 | 0 |
| Reuben N. S. Rowe | Imperial College London | 2013 | 0 |
| Alexander J. Summers | Imperial College London | 2009 | 0 |