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 71 to 90 of 139 < previous   next >
Author(s)TitleIssue DateAppears inRank
Ghilezan, Silvia Natural deduction and sequent typed lambda calculus1999Novi Sad Journal of Mathematics; 29(2); 209-220
Ghilezan, Silvia Natural deduction versus sequent lambda calculus19973rd Barcelona Logic Meeting, Barcelona, Spain (1997); Proceedings
Ghilezan, Silvia ; Ivetić, Jelena; Savić, NenadNormalisation in substructural term calculi2015UNILOG 2015 - The 5th World Congress on Universal Logic, June 25-30, 2015, Istanbul, TurkeyM34
Ghilezan, Silvia A note on typed combinators and typed lambda terms1993Review of Research Faculty of Science. Mathematics Series; 23(1); 319-329
Pantović, Jovanka; Ghilezan, Silvia ; Žunić, Joviša On the number of S-threshold functions on not necessarily binary input1-Jan-2014Proceedings of The International Symposium on Multiple-Valued Logic; 44th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2014; Bremen; Germany; 19 May 2014 through 21 May 2014; 13-18
Ghilezan, Silvia ; Ivetić, Jelena; Savić, NenadAn optimisation of lambda type assignments via resource control2015LAP 2015 - Logic and Applications, pp 21-22, September 20-24, 2015, Dubrovnik, Croatia; 21-22M34
Ivetić, Jelena; Ghilezan, Silvia ; Savić, NenadAn optimization of lambda type assignment via resource control2015International Journal on Computational and Experimental Science and Engineering; Intenational Conference on Computational and Experimental Science and Engineering; 1(2); 20-23M34
Smederevac, Snežana; Pajić, Dejan; Ghilezan, Silvia ; Čolović, Petar; Milosavljević, BrankoOtvorena nauka: praksa i perspektive2-Apr-2020
Stefanović, Tamara; Ghilezan, Silvia An overview of Mathematical Models of Data PrivacySep-2020Book of Abstracts : Logics and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 27-29M34
Ghilezan, Silvia Overview of the publication “Selected Topics in Logic in Computer Science”2015LAP 2015 - Logic and Applications, pp 21-22, September 20-24, 2015, Dubrovnik, Croatia; 19-20M34
Ghilezan, Silvia ; Pantović, Jovanka; Žunić, Joviša Partitioning finite d-dimensional integer grids with applications1-Jan-2007Handbook of Approximation Algorithms and Metaheuristics; 55-1
Ghilezan, Silvia Peirce's law and lambda calculus1992Proceedings of Logic and Computer Science, Novi Sad, Yugoslavia; 27-34
Veltri, Niccolò; Benton, Nick; Ghilezan, Silvia PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming2021PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021M36
Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for asynchronous multiparty sessions4-Jan-2021Proceedings of the ACM on Programming Languages; 5; 16M33
Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise Subtyping for Asynchronous Multiparty Sessions2022ACM Transactions on Computational Logic~M21
Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for synchronous multiparty sessions1-Apr-2019Journal of Logical and Algebraic Methods in Programming; 104; 127-173M21
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, NobukoPrecise subtyping for synchronous multiparty sessions10-Feb-2016Electronic Proceedings in Theoretical Computer Science, EPTCS; 8th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015; London; United Kingdom; 18 April 2015; 203; 29-43
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia Preciseness of subtyping on intersection and union types1-Jan-2014Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 25th International Conference on Rewriting Techniques and Applications, RTA 2014 and 12th International Conference on Typed Lambda Calculus and Applications, TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014; Vienna; Austria; 14 July 2014 through 17 July 2014; 8560 LNCS; 194-207M33
Ghilezan, Silvia Preciseness of Subtyping: from extensional to intensional aspects : Invited talkJan-2018NII Shonan Meeting 115: Intensional and Extensional Aspects of Computation: From Computability and Complexity to Program Analysis and Security, 22-25 January 2018, NII- National Institute of Informatics Shonan meeting, JapanM32
Ghilezan, Silvia ; Geuvers, Herman; Ivetić, JelenaPreface1-Oct-2018Leibniz International Proceedings in Informatics, LIPIcs; 22nd International Conference on Types for Proofs and Programs, TYPES 2016; Novi Sad; Serbia; 23 May 2016 through 26 May 2016; 97; VII