Browsing by Author Ghilezan, Silvia
Showing results 50 to 69 of 139
< previous
next >
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
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 |
Ghilezan, Silvia | Lambda račun I slabe iskazne logike | 1988 | master thesis: Matematički fakultet, Univerzitet u Beogradu | M71 |
Barendregt, Henk; Ghilezan, Silvia | Lambda terms for natural deduction, sequent calculus and cut elimination | 1-Jan-2000 | Journal of Functional Programming; 10(1); 121-134 | |
Ghilezan, Silvia | Lambek's computational approach to conjugation | 2014 | LAP 2014 - 3rd Conference Logic and Applications, September 22-26, 2014, Dubrovnik, Croatia; 7-8 | M34 |
Jakšić, Svetlana; Pantović, Jovanka; Ghilezan, Silvia | Linked data privacy | 1-Jan-2017 | Mathematical Structures in Computer Science; 27(1); 33-53 | M22 |
Šikić, Zvonimir; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, Thomas | Logic and Applications - LAP Meeting | 28-Oct-2020 | Logic, Language, and Security; 12300; 98-100 | |
Ghilezan, Silvia ; Ognjanović, Zoran ; Todorović, Milan | Matematicki metodi i zastita privatnosti | 2017 | Privatnost u digitalnom dobu: iluzija ili nacionalni izazov | M60 |