Silvia Ghilezan
Original record- Institution
- University of Novi Sad
- Year
- 1993
- Country
- Serbia
- MGP identifier
- 103709
Dissertation: Intersection Types in the Lambda Calculus and Logic
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Kosta DošenInstitution not recorded
- Hendrik Pieter BarendregtUniversiteit Utrecht · 1971
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Jelena Ivetić | University of Novi Sad | 2013 | 0 |
| Petar Maksimović | University of Novi Sad and Université de Nice-Sophia Antipolis and INRIA Sophia Antipolis - Méditerranée | 2013 | 0 |
| Aleksandar Pejović | University of Novi Sad | 2020 | 0 |
| Veljko Petrović | University of Novi Sad | 2018 | 0 |
| Simona Prokić (Kašterović) | University of Novi Sad | 2024 | 0 |