Ghilezan, Silvia
Loading...
3
0
20
0
false
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Subject
- 1 Classical logic | Continuations | Functional programming | Intersection type
- 1 Classical logic | Curry-Howard correspondence | Intersection types | Union types | λ̄μμ̃-calculus
- 1 Classical logic | Intersection-types | Sequent calculus
- 1 lambda calculus | sequent calculus | logic | resource control | structural rules | typeability | intersection types | strong normalisation
Date issued
Type
Results 1-13 of 13 (Search time: 0.004 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 1 | Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia | Structural rules and resource control in logic and computation | 2015 | Logic in Computer Science; 18(26); 79-109 | M14 |
| 2 | 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 |
| 3 | 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 |
| 4 | 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 |
| 5 | 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) | |
| 6 | 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 |
| 7 | 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 |
| 8 | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | 28-May-2008 | Theoretical Computer Science; 398(1-3); 114-128 | M22 |
| 9 | 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 | |
| 10 | 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 | |
| 11 | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, Silvia | Strong normalization of the dual classical sequent calculus | 1-Jan-2005 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005; Montego Bay; Jamaica; 2 December 2005 through 6 December 2005; 3835 LNAI; 169-183 | M22 |
| 12 | Ghilezan, Silvia ; Lescanne, Pierre | Classical Proofs, Typed Processes, and Intersection Types Extended Abstract | 1-Dec-2004 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Workshop on Types for Proofs and Programs, TYPES 2003; 3085; 226-241 | M22 |
| 13 | Dougherty, Dan; Ghilezan, Silvia ; Lescanne, Pierre | Characterizing strong normalization in a language with control operators | 1-Jan-2004 | Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04; 6th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04; Verona; Italy; 24 August 2004 through 26 August 2004; 155-166 |
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 |