Browsing by Author Ghilezan, Silvia


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 37 to 56 of 116 < previous   next >
Author(s)TitleIssue DateAppears inRank
Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, PierreA general technique for analyzing termination in symmetric proof calculi2007WST'07 - The 9th International Workshop on Termination, Paris, France, July 2007
Borisavljević, Mirjana; Ghilezan, Silvia ; Janičić, Predrag; Krapež, Aleksandar ; Kurilić, Miloš; Mijajlović, Žarko; Marković, Zoran ; Ognjanović, Zoran ; Pantović, Jovanka; Petrić, Zoran ; Stanković, Miomir S.; Stanković, Radomir ; Stojmenović, Ivan; Vukomanović, ĐorđeHistory of Mathematical Logic in Serbia2013Logic in Central and Eastern Europe History, Science, and Discourse; 470-495M14
Ghilezan, Silvia Inhabitation in intersection and union type assignment systems1-Dec-1993Journal of Logic and Computation; 3(6); 671-685
Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, PierreIntersection and union types in the λ̄μμ̃-calculus19-Jul-2005Electronic Notes in Theoretical Computer Science; 3rd International Workshop on intersection Types and Related Systems; 13 July 2004 through 13 July 2004; 136; 153-172
Ghilezan, Silvia ; Paolini, LucaIntersection Types and Related Systems. Preface1-Dec-2012Fundamenta Informaticae; 121(1-4)M23
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 Intersection types in lambda calculus and logic1993doctoral thesis: Prirodno-matematički fakultet, Univerzitet u Novom SaduM70
Ghilezan, Silvia Introduction to Type Theory : Invited talkJul-2017EUTypes Summer School, 10-14 July 2017, Ohird, MacedoniaM32
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
Kašterović, Simona; Ghilezan, Silvia Kripke Semantics for Lambda Calculus with Pairs and Disjoint SumsSep-2019Book of Abstracts: Logics and Applications - LAP 2019; 8th International Conference Logic and Applications 2019, 23-27 September 2019, Dubrovnik, Croatia; 23-25M34
Kašterović, Simona; Ghilezan, Silvia Kripke-style semantics and completeness for full simply typed Lambda calculus1-Jan-2021Journal of Logic and Computation; 30(8); 1567-1608~M21
Kašterović, Simona; Ghilezan, Silvia Kripke-style semantics for Full Simply Types Lambda CalculusSep-2020Book of Abstracts : Logics and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 12-14M34
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia A lambda model characterizing computational behaviours of terms2001Rewriting in Proofs and Computation - RPC'01, Sendai, Japan, 2001; 100-118M32
Ghilezan, Silvia Lambda račun I slabe iskazne logike1988master thesis: Matematički fakultet, Univerzitet u BeograduM71
Barendregt, Henk; Ghilezan, Silvia Lambda terms for natural deduction, sequent calculus and cut elimination1-Jan-2000Journal of Functional Programming; 10(1); 121-134
Ghilezan, Silvia Lambek's computational approach to conjugation2014LAP 2014 - 3rd Conference Logic and Applications, September 22-26, 2014, Dubrovnik, Croatia; 7-8M34