Browsing by Author Likavec, Silvia
Showing results 1 to 13 of 13
| Author(s) | Title | Issue Date | Appears in | Rank |
|---|---|---|---|---|
| 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 |
| Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia | Behavioural inverse limit λ-models | 28-May-2004 | Theoretical Computer Science; 316(1-3); 49-74 | M22 |
| Ghilezan, Silvia ; Likavec, Silvia | Computational interpretations of logics | 2009 | Zbornik Radova; 12(20); 159-215 | M14 |
| Ghilezan, Silvia ; Likavec, Silvia | Extensions of the reducibility method | 2003 | PLS4 - The 4th Panhellenic Logic Symposium; 107-112 | 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; 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 ; Likavec, Silvia | Reducibility method and resource control | 2013 | UNILOG 2013 - The 4th World Congress on Universal Logic, 29/03-04/04/2013, Rio de Janeiro, Brasil; 161-162 | |
| Ghilezan, Silvia ; Kunčak, Viktor; Likavec, Silvia | Reducibility method for termination properties of typed lambda terms | 2001 | Extended abstracts of the 5th International Workshop on Termination, (WST'01); 5th International Workshop on Termination - WST'01, Utrecht, The Netherlands (2001); 14-16 | |
| Ghilezan, Silvia ; Likavec, Silvia | Reducibility: a ubiguitous method in lambda calculus with intersection types | 2002 | Electronic Notes in Theoretical Computer Science; Second Workshop on Intersection Types and Related Systems - ITRS '02, July 26 2002, Copenhagen, Denmark; 70 | M33 |
| 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 |
| 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 |
| 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 |