R.C. de Vrijer, 1949
doctor
| Name | R.C. de Vrijer |
|---|---|
| Full name | Roelof Cornelis |
| Gender | male |
| Born | 1949, Eindhoven, Nederland |
| Publications | [UvA-catalogus] |
| Link to this person | https://albumacademicum.uva.nl/en/id/id052810 |
Education
| Education | Wiskunde en Natuurwetenschappen |
|---|---|
| Degree |
Jan. 7, 1987
|
| Exam level | promotie |
| Institution | Faculteit der Wiskunde en Natuurwetenschappen
Universiteit van Amsterdam |
| Thesis | Surjective pairing and strong normalization : two themes in lambda calculus |
| Keyword | exacte wetenschappen: algemeen, Lambda-calculus, Normalisatie, Surjectieve paring |
| Supervisor(s) |
|
| Propositions | 10 |