M.D.G. Swaen, 1957
doctor
| Name | M.D.G. Swaen |
|---|---|
| Full name | Marco Dorotheus Gerardus |
| Gender | male |
| Born | 1957, Nijmegen, Nederland |
| Publications | [UvA-catalogus] |
| Link to this person | https://albumacademicum.uva.nl/en/id/id055808 |
Education
| Education | Wiskunde en Informatica |
|---|---|
| Degree |
Sept. 25, 1989
|
| Exam level | promotie |
| Institution | Faculteit der Wiskunde en Informatica
Universiteit van Amsterdam |
| Thesis | Weak and strong sum-elimination in intuitionistic type theory |
| Keyword | logica, verzamelingsleer, Intuïtionisme, Wiskundige logica, Typentheorie |
| Supervisor(s) |
|