Истраживачи
Ivetić, Jelena
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2013 | Intesection types and resource control in the intuitionistic sequent lambda calculus | Ivetić, Jelena   | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |