Истраживачи



Филтрирано по:
Мп-кат.:  M20/M50

ГодинаНасловАутор(и)Тип резултатаМп-кат.
2015An Optimization of Lambda Type assignments via Resource ControlGilezan, Silvia  ; Ivetić, Jelena  ; Savić, Nenad Научни чланак
Мп категорија ће бити приказана накнадно.
2014Resource control and intersection types: an intrinsic connectionGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
2013Resource control and strong normalisationGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
2012A journey through resource control lambda calculi and explicit substitution using intersection typesGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Научни чланак
Мп категорија ће бити приказана накнадно.
2007Intersection types for λGtz-calculusGhilezan, Silvia  ; Ivetić, Jelena  Научни чланак
Мп категорија ће бити приказана накнадно.