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 81 to 100 of 117 < previous   next >
Author(s)TitleIssue DateAppears inRank
Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadProbabilistic reasoning in type systems20165th international conference Logic and Applications LAP 2016, Dubrovnik, Croatia, September 19 - 23, 2016; 24-24M34
Kašterović, Simona; Ghilezan, Silvia Probabilistic reasoning with lambda termsSep-2017Book of Abstracts: Logics and Applications - LAP 2017; 6th International Conference Logic and Applications - LAP 2017, 18-22 September 2017, Dubrovnik, CroatiaM34
Ghilezan, Silvia Proof Theory: Applications1-Jan-2013Lambda Calculus with Types; 323-376M14
Ghilezan, Silvia Računske interpretacije intuicionističke i klasične logike2012Sustavi dokazivanja, 29/06/2012, Dubrovnik, Croatia
Ghilezan, Silvia Reducibility method and logical relations in intuitionistic logic and programming languages2013CM:FP 2013 - Constructive Mathematics: Foundation and Practice, June 24-28, 2013, Nis, SerbiaM32
Ghilezan, Silvia ; Likavec, SilviaReducibility method and resource control2013UNILOG 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, 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
Ghilezan, Silvia ; Kunčak, ViktorReducibility method in simply typed lambda calculus2001Novi Sad Journal of Mathematics; 31; 27-32
Ghilezan, Silvia Reducibility method: an overview2013LAP 2013 - 2nd Conference Logic and Applications, Dubrovnik, Croatia, 16-21/09/2013; 2-3
Ghilezan, 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
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Venneri, BettiThe “Relevance” of intersection and union types1-Jan-1997Notre Dame Journal of Formal Logic; 38(2); 246-269
Ghilezan, Silvia Resource control in sequent lambda calculus2010TYPES 2010, 13-16/10/2010, Warsaw, Poland
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, JovankaSecurity types for dynamic web data1-Dec-2007Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 2nd International Symposium on Trustworthy Global Computing, TGC 2006; Lucca; Italy; 7 November 2006 through 9 November 2006; 4661 LNCS; 263-280M23
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka; Varacca, DanieleSecurity types for dynamic web data8-Aug-2008Theoretical Computer Science; 402(2-3); 156-171M22
Ghilezan, Silvia ; Kašterović, SimonaSemantics for Combinatory Logic With Intersection Types12-Jul-2022Frontiers in Computer Science; 4; 792570
Ghilezan, Silvia ; Pantović, Jovanka; Žunić, Joviša Separating points by parallel hyperplanes-characterization problem1-Sep-2007IEEE Transactions on Neural Networks; 18(5); 1356-1363M21a
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaSome advantages of the lambda calculi with resource control2014Matematička konferencija Republike Srpske, Trebinje, 6-7 Jun, 2014M34
Ghilezan, Silvia Sound and complete subtyping on intersection and union typesSep-2017Book of Abstracts: Logics and Applications - LAP 2017; 6th International Conference Logic and Applications 2017 - LAP 2017, 18-22 September 2017; 16-17M34
Ghilezan, Silvia Strong normalization and typability with intersection types1-Jan-1996Notre Dame Journal of Formal Logic; 37(1); 44-52
Dougherty, 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