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 117 to 136 of 139 < previous   next >
Author(s)TitleIssue DateAppears inRank
Ghilezan, Silvia Some topological properties of the lambda calculus1996Scientific Review. Series, Science and Engineering; Kurepa's Symposium, Belgrade, Yugoslavia; 19-20; 65-73
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
Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, SilviaStructural rules and resource control in logic and computation2015Logic in Computer Science; 18(26); 79-109M14
Ghilezan, Silvia Terms for Natural Deduction, Sequent Calculus and Cut Elimination in Classical Logic.2007Reflections on Type Theory, Lambda Calculus and the Mind, Essays dedicated to Henk Barendregt
Ghilezan, Silvia Topologies in lambda calculus19992nd Panhellenic Logic Symposium, Delphi, Greece (1999); Proceedings; 102-106
Ghilezan, Silvia ; Kašterović, SimonaTowards Completeness of Full Simply Typed Lambda CalculusMar-202026th International Conference on Types for Proofs and Programs, EUTYPES-TYPES, 2-5 March 2020, Turin, Italy; 164-166M34
Kašterović, Simona; Ghilezan, Silvia Towards Logic of Combinatory LogicSep-202110th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 34-36M34
Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadTowards probabilistic reasoning about lambda terms with intersection types2016The 22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, 23-26 May 2016M34
Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadTowards Probabilistic reasoning about simply typed lambda termsNov-2017Sedma nacionalna konferencija “Verovatnosne logike i njihove primene” ; Beograd, Srbija, 8. novembar 2017; 11-12
Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, NenadTowards probabilistic reasoning about typed lambda termsJun-2018TYPES 2018 - 24th International Conference onTypes for Proofs and Programs, 18-21 June 2018, Braga, Portugal; 41-42M34
Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, NenadTowards Probabilistic Reasoning in Type Theory - The Intersection Type Case1-Jan-2020Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020; Dortmund; Germany; 17 February 2020 through 21 February 2020; 12012 LNCS; 122-139M33
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia Two behavioural lambda models1-Dec-2003Lecture 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 2002; 2646; 127-147
Ghilezan, Silvia Type Systems for Trustworthiness –- from Mathematics to Large-Scale Systems (keynote)26-May-2021ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, Novi Sad, Serbia, May 26 - 27, 2021; 1-2M32
Ghilezan, Silvia Typed combinators and typed lambda terms1990Third Logical Biennial Kleene'90, Chaika, Bulgaria; ProceedingsM34
Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo TorresA typed model for dynamic authorizations10-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; 73-84
Ghilezan, Silvia Types and confluence in lambda calculus20013rd Panhellenic Logic Symposium - PLS3, Crete, Greece (2001)
Ghilezan, Silvia Types and Privacy : Invited talkOct-20161st Workshop, FMPriv 2016 - Formal Methods for Privacy, 7 October 2016, Limassol, CyprusM32
Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Dezani-Ciancaglini, MariangiolaTypes and Roles for Web Security2012Transactions on Advanced Research; 8; 16-21
Showing results 117 to 136 of 139 < previous   next >