Browsing by Author Ghilezan, Silvia
Showing results 44 to 63 of 139
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | A general technique for analyzing termination in symmetric proof calculi | 2007 | WST'07 - The 9th International Workshop on Termination, Paris, France, July 2007 | |
Ghilezan, Silvia | Generalized finiteness of developments | 1996 | Journal of Automata, Languages and Combinatorics; 247-257 | |
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đe | History of Mathematical Logic in Serbia | 2013 | Logic in Central and Eastern Europe History, Science, and Discourse; 470-495 | M14 |
Ghilezan, Silvia | Inhabitation in intersection and union type assignment systems | 1-Dec-1993 | Journal of Logic and Computation; 3(6); 671-685 | |
Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Intersection and union types in the λ̄μμ̃-calculus | 19-Jul-2005 | Electronic 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, Luca | Intersection Types and Related Systems. Preface | 1-Dec-2012 | Fundamenta Informaticae; 121(1-4) | M23 |
Ghilezan, Silvia | Intersection types and topologies in lambda calculus | 2000 | Workshop on Intersection Types and Related Systems, (ITRS'00) Geneva, Switzerland (2000); Proceedings | M33 |
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 |
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia | Intersection types for explicit substitution with resource control | 2012 | Sixth Workshop on Intersection Types and Related Systems (ITRS 2012) | |
Ghilezan, Silvia ; Ivetić, Jelena | Intersection types for intuitionistic lambda-Gentzen calculus | 2007 | Publications de l'Institute Mathematique; 82(96); 159-164 | |
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia | Intersection types for the resource control lambda calculi | 19-Sep-2011 | Lecture 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-134 | M33 |
Ghilezan, Silvia ; Ivetić, Jelena | Intersection types for λGtz-calculus | 1-Dec-2007 | Publications de l'Institut Mathematique; 96; 85-91 | |
Ghilezan, Silvia | Intersection types in lambda calculus and logic | 1993 | doctoral thesis: Prirodno-matematički fakultet, Univerzitet u Novom Sadu | M70 |
Ghilezan, Silvia | Introduction to Type Theory : Invited talk | Jul-2017 | EUTypes Summer School, 10-14 July 2017, Ohird, Macedonia | M32 |
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Žunić, Dragiša | Intuitionistic sequent-style calculus with explicit structural rules | 1-Aug-2011 | Lecture 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-124 | M33 |
Kašterović, Simona; Ghilezan, Silvia | Kripke Semantics for Lambda Calculus with Pairs and Disjoint Sums | Sep-2019 | Book of Abstracts: Logics and Applications - LAP 2019; 8th International Conference Logic and Applications 2019, 23-27 September 2019, Dubrovnik, Croatia; 23-25 | M34 |
Kašterović, Simona; Ghilezan, Silvia | Kripke-style semantics and completeness for full simply typed Lambda calculus | 1-Jan-2021 | Journal of Logic and Computation; 30(8); 1567-1608 | ~M21 |
Kašterović, Simona; Ghilezan, Silvia | Kripke-style semantics for Full Simply Types Lambda Calculus | Sep-2020 | Book of Abstracts : Logics and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 12-14 | M34 |
Ghilezan, Silvia | Lambda calculi with intersection types | 1991 | 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden (1991); Proceedings | M34 |
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | A lambda model characterizing computational behaviours of terms | 2001 | Rewriting in Proofs and Computation - RPC'01, Sendai, Japan, 2001; 100-118 | M32 |