M.D.G. Swaen, 1957
doctor
| Naam | M.D.G. Swaen |
|---|---|
| Voornamen | Marco Dorotheus Gerardus |
| Geslacht | man |
| Geboren | 1957, Nijmegen, Nederland |
| Publicaties | [UvA-catalogus] |
| Link naar deze persoon | https://albumacademicum.uva.nl/id/id055808 |
Opleiding
| Opleiding | Wiskunde en Informatica |
|---|---|
| Graad |
25 september 1989
|
| Examentype | promotie |
| Instelling | Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam |
| Proefschrift | Weak and strong sum-elimination in intuitionistic type theory |
| Trefwoord | logica, verzamelingsleer, Intuïtionisme, Wiskundige logica, Typentheorie |
| Promotor(en) |
|