Browsing by Author Ghilezan, Silvia


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 139  next >
Author(s)TitleIssue DateAppears inRank
Basold, Henning; Cockx, Jesper; Ghilezan, Silvia 27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference) - Proceedings2022M36
Ghilezan, Silvia Application of typed lambda calculi in the untyped lambda calculus1-Jan-1994Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 3rd International Symposium on Logical Foundations of Computer Science, LFCS 1994; St. Petersburg; Russian Federation; 11 July 1994 through 14 July 1994; 813 LNCS; 129-139M23
Herbelin, Hugo; Ghilezan, Silvia An approach to call-by-name delimited continuations1-Jan-2008ACM SIGPLAN Notices; 43(1); 383-394M23
Herbelin, Hugo; Ghilezan, Silvia An approach to call-by-name delimited continuations1-Dec-2008Conference Record of the Annual ACM Symposium on Principles of Programming Languages; 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'08; San Francisco, CA; United States; 7 January 2008 through 12 January 2008; 383-394
Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia ; Bašičević, IlijaAn approach to formal verification of python software transactional memory31-Aug-2017ACM International Conference Proceeding Series; 5th European Conference on the Engineering of Computer-Based Systems, ECBS 2017; Larnaca; Cyprus; 31 August 2017 through 1 September 2017; Part F130524
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaApproaching substructural term calculi via the resource control calculus2014LAP 214 - 3rd Conference Logic and Applications, Dubrovnik, 22-26 Septembar; 12-14M34
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, SilviaBehavioural inverse limit λ-models28-May-2004Theoretical Computer Science; 316(1-3); 49-74M22
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia A behavioural lambda model2003Schedae Informaticae Universitas Iagelonica; 12; 35-47
Ghilezan, Silvia ; Pantović, Jovanka; Vojvodić, GradimirBinary relations and algebras on multisets1-Jan-2014Publications de l'Institut Mathematique; 95(109); 111-117M23
Espírito Santo, José; Ghilezan, Silvia ; Ivetić, JelenaCharacterising strongly normalising intuitionistic sequent terms9-Jun-2008Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Conference on Types for Proofs and Programs, TYPES 2007; Cividale del Friuli; Italy; 2 May 2007 through 5 May 2007; 4941 LNCS; 85-99M23
Espirito Santo, Jose; Ghilezan, Silvia Characterization of strong normalizability for a lambda-calculus with co-controlJun-2017TYPES 2017 - 23rd International Conference on Types for Proofs and Programs, 29 May-1 June 2017, Budapest, Hungary; 57-58M34
Santo, José Espírito; Ghilezan, Silvia Characterization of strong normalizability for a sequent lambda calculus with co-control9-Oct-2017ACM International Conference Proceeding Series; 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017; Namur; Belgium; 9 October 2017 through 11 October 2017; Part F131196; 163-174
Dougherty, 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
Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, PierreCharacterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage28-May-2008Theoretical Computer Science; 398(1-3); 114-128M22
Ghilezan, Silvia ; Ivetić, Jelena; Likaves, SilviaChurch-Rosser Theorem for sequent lambda calculi2014TYPES 2014 - 20th Conference Types for Proofs and Programs, May 12-15 2014, Paris, FranceM34
Ghilezan, 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
Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka; Pérez, Jorge; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo TorresCombining behavioural types with security analysis1-Nov-2015Journal of Logical and Algebraic Methods in Programming; 84(6); 763-780M21
Ghilezan, Silvia Computational approach to conjugation2014VLP 2014 - Probabilistic Logic and Application, October 2-3, 2014, Belgrade, Serbia; 33M34
Ghilezan, Silvia Computational interpretations of logic2010Higher Order Rewritting, July 14, 2010, Edinburgh, UK
Ghilezan, Silvia ; Likavec, SilviaComputational interpretations of logics2009Zbornik Radova; 12(20); 159-215M14
Showing results 1 to 20 of 139  next >