Naim Cagman
Original record- Institution
- University of Leeds
- Year
- 2000
- Country
- United Kingdom
- MGP identifier
- 82602
Dissertation: Weakreduction in lambdacalculus
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- J. Roger HindleyUniversity of Newcastle · 1964
- Stanley Scott WainerUniversity of Leeds · 1969
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Serdar Enginoğlu | Gaziosmanpaşa Üniversitesi | 2012 | 0 |