Ghilezan, Silvia

Network Lab View Statistics Email Alert

Profile

Loading... 3 0 20 0 false
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
Loading... 2 0 20 0 false

Publications

Results 101-120 of 139 (Search time: 0.004 seconds).

Author(s)TitleIssue DateAppears inRank
101Dougherty, 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
102Ghilezan, Silvia ; Ivetić, JelenaIntersection types for intuitionistic lambda-Gentzen calculus2007Publications de l'Institute Mathematique; 82(96); 159-164
103Dougherty, 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
104Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, SilviaStrong normalization of the dual classical sequent calculus1-Jan-2005Lecture 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-183M22
105Ghilezan, Silvia ; Lescanne, PierreClassical Proofs, Typed Processes, and Intersection Types Extended Abstract1-Dec-2004Lecture 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-241M22
106Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, SilviaBehavioural inverse limit λ-models28-May-2004Theoretical Computer Science; 316(1-3); 49-74M22
107Dougherty, Dan; Ghilezan, Silvia ; Lescanne, PierreCharacterizing strong normalization in a language with control operators1-Jan-2004Proceedings 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
108Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia Two behavioural lambda models1-Dec-2003Lecture 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 2002; 2646; 127-147
109Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia A behavioural lambda model2003Schedae Informaticae Universitas Iagelonica; 12; 35-47
110Ghilezan, Silvia ; Likavec, SilviaExtensions of the reducibility method2003PLS4 - The 4th Panhellenic Logic Symposium; 107-112M33
111Ghilezan, Silvia ; Likavec, SilviaReducibility: a ubiguitous method in lambda calculus with intersection types2002Electronic Notes in Theoretical Computer Science; Second Workshop on Intersection Types and Related Systems - ITRS '02, July 26 2002, Copenhagen, Denmark; 70M33
112Ghilezan, Silvia ; Kunčak, ViktorConfluence of untyped lambda calculus via simple types1-Jan-2001Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 7th Italian Conference on Theoretical Computer Science, ICTCS 2001; Torino; Italy; 4 October 2001 through 6 October 2001; 2202; 38-49M21
113Ghilezan, Silvia Full intersection types and topologies in lambda calculus1-Jan-2001Journal of Computer and System Sciences; 62(1); 1-14M21
114Ghilezan, Silvia ; Kunčak, ViktorReducibility method in simply typed lambda calculus2001Novi Sad Journal of Mathematics; 31; 27-32
115Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia A lambda model characterizing computational behaviours of terms2001Rewriting in Proofs and Computation - RPC'01, Sendai, Japan, 2001; 100-118M32
116Ghilezan, Silvia Types and confluence in lambda calculus20013rd Panhellenic Logic Symposium - PLS3, Crete, Greece (2001)
117Ghilezan, Silvia ; Kunčak, Viktor; Likavec, SilviaReducibility method for termination properties of typed lambda terms2001Extended abstracts of the 5th International Workshop on Termination, (WST'01); 5th International Workshop on Termination - WST'01, Utrecht, The Netherlands (2001); 14-16
118Barendregt, Henk; Ghilezan, Silvia Lambda terms for natural deduction, sequent calculus and cut elimination1-Jan-2000Journal of Functional Programming; 10(1); 121-134
119Ghilezan, Silvia Intersection types and topologies in lambda calculus2000Workshop on Intersection Types and Related Systems, (ITRS'00) Geneva, Switzerland (2000); ProceedingsM33
120Ghilezan, Silvia ; Kunčak, ViktorReducibility method in simply typed lambda calculus2000XIV Conference on Applied Mathematics PRIM, Palić, June 2000

Projects


Results 1-2 of 2 (Search time: 0.0 seconds).

AcronymTitleStart dateCompletionP-Investigator
PROJECT 144029Models, Languages, Types, and Processes in Computing01-01-200631-12-2010Ghilezan, Silvia
PROJECT 174026Representations of logical structures and formal languages and their application in computing01-01-201131-12-2019Ghilezan, Silvia