Roelof Cornelis de Vrijer
Original record- Institution
- Universiteit van Amsterdam
- Year
- 1987
- Country
- Netherlands
- MGP identifier
- 73667
Dissertation: Surjective Pairing and Strong Normalization: Two Themes in Lambda Calculus
Advisors 3
- Dick H. J. de JonghUniversity of Wisconsin-Madison · 1968
- Hendrik Pieter BarendregtUniversiteit Utrecht · 1971
- Wouter PeremansUniversiteit van Amsterdam · 1949
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Mirna Bognar | Vrije Universiteit Amsterdam | 2002 | 0 |
| Jörg Endrullis | Vrije Universiteit Amsterdam | 2010 | 2 |
| Clemens Grabmayer | Vrije Universiteit Amsterdam | 2005 | 1 |
| Ariya Isihara | Vrije Universiteit Amsterdam | 2010 | 0 |
| Jeroen Ketema | Vrije Universiteit Amsterdam | 2006 | 0 |