Browsing eNauka
Browsing by Author Ivetić, Jelena
Showing results 1 to 7 of 7
Issue Date | Title | Author(s) | Type | М-cat. |
---|---|---|---|---|
2015 | An optimization of lambda type assignment via resource control | Ivetić, Jelena; Ghilezan, Silvia ; Savić, Nenad | Conference Paper | Mp. category will be shown later |
2008 | Characterising strongly normalising intuitionistic sequent terms | Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena | Article | Mp. category will be shown later |
2014 | Church-Rosser Theorem for sequent lambda calculi | Ghilezan, Silvia ; Ivetić, Jelena; Likaves, Silvia | Conference Paper | Mp. category will be shown later |
2024 | Improving the Monitoring and Control of Egg Vitality of Lymantria dispar Linnaeus 1758 Using an Innovative Device and Procedure for Removing Egg Hairs (✓) | Stojanović, Dejan ; Ranđelović, Dragana ; Ivetić, Jelena; Pap, Predrag ; Zlatković, Milica ; Đilas, Milutin ; Orlović, Saša | Article | 21M21 |
2007 | Intersection types for intuitionistic lambda-Gentzen calculus | Ghilezan, Silvia ; Ivetić, Jelena | Article | Mp. category will be shown later |
2018 | Preface | Ghilezan, Silvia ; Geuvers, Herman; Ivetić, Jelena | Other | Mp. category will be shown later |
2016 | Probabilistic reasoning in type systems | Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Conference Paper | Mp. category will be shown later |