Ghilezan, Silvia
![](/image/cris/bar-loader.gif)
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
![](/image/cris/bar-loader.gif)
Results 1-10 of 10 (Search time: 0.002 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Towards probabilistic reasoning about typed lambda terms | Jun-2018 | TYPES 2018 - 24th International Conference onTypes for Proofs and Programs, 18-21 June 2018, Braga, Portugal; 41-42 | M34 |
2 | Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Probabilistic reasoning in type systems | 2016 | 5th international conference Logic and Applications LAP 2016, Dubrovnik, Croatia, September 19 - 23, 2016; 24-24 | M34 |
3 | Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Towards probabilistic reasoning about lambda terms with intersection types | 2016 | The 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, 23-26 May 2016 | M34 |
4 | Ivetić, Jelena; Ghilezan, Silvia ; Savić, Nenad | An optimization of lambda type assignment via resource control | 2015 | International Journal on Computational and Experimental Science and Engineering; Intenational Conference on Computational and Experimental Science and Engineering; 1(2); 20-23 | M34 |
5 | Ghilezan, Silvia ; Ivetić, Jelena; Savić, Nenad | An optimisation of lambda type assignments via resource control | 2015 | LAP 2015 - Logic and Applications, pp 21-22, September 20-24, 2015, Dubrovnik, Croatia; 21-22 | M34 |
6 | Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia | Intersection types fit well with resource control | 2015 | 21. Intenational conference on Types for Proofs and Programs - TYPES 2015, May 2015, Tallin, Estonia | M34 |
7 | Ghilezan, Silvia ; Ivetić, Jelena; Savić, Nenad | Normalisation in substructural term calculi | 2015 | UNILOG 2015 - The 5th World Congress on Universal Logic, June 25-30, 2015, Istanbul, Turkey | M34 |
8 | Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia | Some advantages of the lambda calculi with resource control | 2014 | Matematička konferencija Republike Srpske, Trebinje, 6-7 Jun, 2014 | M34 |
9 | Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia | Approaching substructural term calculi via the resource control calculus | 2014 | LAP 214 - 3rd Conference Logic and Applications, Dubrovnik, 22-26 Septembar; 12-14 | M34 |
10 | Ghilezan, Silvia ; Ivetić, Jelena; Likaves, Silvia | Church-Rosser Theorem for sequent lambda calculi | 2014 | TYPES 2014 - 20th Conference Types for Proofs and Programs, May 12-15 2014, Paris, France | M34 |
Results 1-2 of 2 (Search time: 0.001 seconds).
Acronym | Title | Start date | Completion | P-Investigator |
---|---|---|---|---|
PROJECT 144029 | Models, Languages, Types, and Processes in Computing | 01-01-2006 | 31-12-2010 | Ghilezan, Silvia |
PROJECT 174026 | Representations of logical structures and formal languages and their application in computing | 01-01-2011 | 31-12-2019 | Ghilezan, Silvia |