Browsing by Author Ivetić, Jelena


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 21  next >
Author(s)TitleIssue DateAppears inRank
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaApproaching substructural term calculi via the resource control calculus2014LAP 214 - 3rd Conference Logic and Applications, Dubrovnik, 22-26 Septembar; 12-14M34
Espírito Santo, José; Ghilezan, Silvia ; Ivetić, JelenaCharacterising strongly normalising intuitionistic sequent terms9-Jun-2008Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Conference on Types for Proofs and Programs, TYPES 2007; Cividale del Friuli; Italy; 2 May 2007 through 5 May 2007; 4941 LNCS; 85-99M23
Ghilezan, Silvia ; Ivetić, Jelena; Likaves, SilviaChurch-Rosser Theorem for sequent lambda calculi2014TYPES 2014 - 20th Conference Types for Proofs and Programs, May 12-15 2014, Paris, FranceM34
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaIntersection types fit well with resource control201521. Intenational conference on Types for Proofs and Programs - TYPES 2015, May 2015, Tallin, EstoniaM34
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaIntersection types for explicit substitution with resource control2012Sixth Workshop on Intersection Types and Related Systems (ITRS 2012)
Ghilezan, Silvia ; Ivetić, JelenaIntersection types for intuitionistic lambda-Gentzen calculus2007Publications de l'Institute Mathematique; 82(96); 159-164
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaIntersection types for the resource control lambda calculi19-Sep-2011Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011; Johannesburg; South Africa; 31 August 2011 through 2 September 2011; 6916 LNCS; 116-134M33
Ghilezan, Silvia ; Ivetić, JelenaIntersection types for λGtz-calculus1-Dec-2007Publications de l'Institut Mathematique; 96; 85-91
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Žunić, DragišaIntuitionistic sequent-style calculus with explicit structural rules1-Aug-2011Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009; Bakuriani; Georgia; 21 September 2009 through 25 September 2009; 6618 LNAI; 101-124M33
Ghilezan, Silvia ; Ivetić, Jelena; Savić, NenadNormalisation in substructural term calculi2015UNILOG 2015 - The 5th World Congress on Universal Logic, June 25-30, 2015, Istanbul, TurkeyM34
Ghilezan, Silvia ; Ivetić, Jelena; Savić, NenadAn optimisation of lambda type assignments via resource control2015LAP 2015 - Logic and Applications, pp 21-22, September 20-24, 2015, Dubrovnik, Croatia; 21-22M34
Ivetić, Jelena; Ghilezan, Silvia ; Savić, NenadAn optimization of lambda type assignment via resource control2015International Journal on Computational and Experimental Science and Engineering; Intenational Conference on Computational and Experimental Science and Engineering; 1(2); 20-23M34
Ghilezan, Silvia ; Geuvers, Herman; Ivetić, JelenaPreface1-Oct-2018Leibniz International Proceedings in Informatics, LIPIcs; 22nd International Conference on Types for Proofs and Programs, TYPES 2016; Novi Sad; Serbia; 23 May 2016 through 26 May 2016; 97; VII
Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadProbabilistic reasoning about simply typed lambda terms1-Jan-2018Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Symposium on Logical Foundations of Computer Science, LFCS 2018; FL; United States; 8 January 2018 through 11 January 2018; 10703 LNCS; 170-189M33
Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadProbabilistic reasoning in type systems20165th international conference Logic and Applications LAP 2016, Dubrovnik, Croatia, September 19 - 23, 2016; 24-24M34
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaSome advantages of the lambda calculi with resource control2014Matematička konferencija Republike Srpske, Trebinje, 6-7 Jun, 2014M34
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaStructural rules and resource control in logic and computation2015Logic in Computer Science; 18(26); 79-109M14
Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadTowards probabilistic reasoning about lambda terms with intersection types2016The 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, 23-26 May 2016M34
Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadTowards Probabilistic reasoning about simply typed lambda termsNov-2017Sedma nacionalna konferencija “Verovatnosne logike i njihove primene” ; Beograd, Srbija, 8. novembar 2017; 11-12
Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadTowards probabilistic reasoning about typed lambda termsJun-2018TYPES 2018 - 24th International Conference onTypes for Proofs and Programs, 18-21 June 2018, Braga, Portugal; 41-42M34