Christiaan Peter Jozef Koymans
Original record- Institution
- Universiteit Utrecht
- Year
- 1984
- Country
- Netherlands
- MGP identifier
- 74778
Dissertation: Models of the Lambda Calculus
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Dirk van DalenUniversiteit van Amsterdam · 1963
- Hendrik Pieter BarendregtUniversiteit Utrecht · 1971
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Hans Mulder | Universiteit van Amsterdam | 1990 | 0 |