Истраживачи
Likavec, Silvia
Година
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2004 | A core calculus of mixin-based incomplete objects (✓) | Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2004 | Behavioural inverse limit λ-models (✓) | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2003 | Reducibility: A ubiquitous method in lambda calculus with intersection types (✓) | Ghilezan, Silvia ; Likavec, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
2003 | Extensions of the reducibility method (✓) | Ghilezan, Silvia ; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2001 | Reducibility method for termination properties of typed lambda terms (✓) | Ghilezan, Silvia ; Kunčak, Viktor ; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |