R.C. de Vrijer, 1949

doctor

Naam R.C. de Vrijer
Voornamen Roelof Cornelis
Geslacht man
Geboren 1949, Eindhoven, Nederland
Publicaties [UvA-catalogus]
Link naar deze persoon https://albumacademicum.uva.nl/id/id052810

Opleiding

Opleiding Wiskunde en Natuurwetenschappen
Graad
7 januari 1987
Examentype promotie
Instelling
Faculteit der Wiskunde en Natuurwetenschappen
Universiteit van Amsterdam
Proefschrift Surjective pairing and strong normalization : two themes in lambda calculus
Trefwoord exacte wetenschappen: algemeen, Lambda-calculus, Normalisatie, Surjectieve paring
Promotor(en)
  • prof. dr. H.P. Barendregt, Universiteit Nijmegen
Aantal stellingen 10
Terug naar zoek resultaten