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 101 to 116 of 116 < previous 
Author(s)TitleIssue DateAppears inRank
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 ; 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 ; 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
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, JovankaTypes for role-based access control of dynamic web data1-Jun-2011Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 19th International Workshop on Functional and Constraint Logic Programming, WFLP 2010; Madrid; Spain; 17 January 2010 through 17 January 2010; 6559 LNCS; 1-29M33
Ghilezan, Silvia Types in access control and privacy : Invited talk2015NII Shonan meeting 069: Logic and Verification Methods in Security and Privacy, October 26-29, 2015, Shonan, JapanM32
Ghilezan, Silvia Types in Logic, Topology and Structure - Keynote Speaker2022UNILOG 2022 - 7th World Congress and School on Universal Logic Workshop Logic and Structure, 6-11 April 2022, Orthodox Academy of Crete, GreeceM31