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 56 to 75 of 139 < previous   next >
Author(s)TitleIssue DateAppears inRank
Ghilezan, Silvia Intersection types in lambda calculus and logic1993doctoral thesis: Prirodno-matematički fakultet, Univerzitet u Novom SaduM70
Ghilezan, Silvia Introduction to Type Theory : Invited talkJul-2017EUTypes Summer School, 10-14 July 2017, Ohird, MacedoniaM32
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Žunić, DragišaIntuitionistic sequent-style calculus with explicit structural rules1-Aug-2011Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009; Bakuriani; Georgia; 21 September 2009 through 25 September 2009; 6618 LNAI; 101-124M33
Kašterović, Simona; Ghilezan, Silvia Kripke Semantics for Lambda Calculus with Pairs and Disjoint SumsSep-2019Book of Abstracts: Logics and Applications - LAP 2019; 8th International Conference Logic and Applications 2019, 23-27 September 2019, Dubrovnik, Croatia; 23-25M34
Kašterović, Simona; Ghilezan, Silvia Kripke-style semantics and completeness for full simply typed Lambda calculus1-Jan-2021Journal of Logic and Computation; 30(8); 1567-1608~M21
Kašterović, Simona; Ghilezan, Silvia Kripke-style semantics for Full Simply Types Lambda CalculusSep-2020Book of Abstracts : Logics and Applications - LAP 2020; 9th International Conference Logic and Applications, LAP 2020, September 21 - 25, 2020, Dubrovnik, Croatia; 12-14M34
Ghilezan, Silvia Lambda calculi with intersection types19919th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden (1991); ProceedingsM34
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia A lambda model characterizing computational behaviours of terms2001Rewriting in Proofs and Computation - RPC'01, Sendai, Japan, 2001; 100-118M32
Ghilezan, Silvia Lambda račun I slabe iskazne logike1988master thesis: Matematički fakultet, Univerzitet u BeograduM71
Barendregt, Henk; Ghilezan, Silvia Lambda terms for natural deduction, sequent calculus and cut elimination1-Jan-2000Journal of Functional Programming; 10(1); 121-134
Ghilezan, Silvia Lambek's computational approach to conjugation2014LAP 2014 - 3rd Conference Logic and Applications, September 22-26, 2014, Dubrovnik, Croatia; 7-8M34
Jakšić, Svetlana; Pantović, Jovanka; Ghilezan, Silvia Linked data privacy1-Jan-2017Mathematical Structures in Computer Science; 27(1); 33-53M22
Šikić, Zvonimir; Ghilezan, Silvia ; Ognjanović, Zoran ; Studer, ThomasLogic and Applications - LAP Meeting28-Oct-2020Logic, Language, and Security; 12300; 98-100
Ghilezan, Silvia ; Ognjanović, Zoran ; Todorović, Milan Matematicki metodi i zastita privatnosti2017Privatnost u digitalnom dobu: iluzija ili nacionalni izazovM60
Todorović, Milan ; Ghilezan, Silvia ; Ognjanović, Zoran Mathematical methods for privacy protection2018Book of Abstracts : Logic and Applications, LAP 2018; 7th International Conference Logic and Applications, LAP 2018, September 24 - 28, 2018 Dubrovnik,Croatia; 41-43M34
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