Ghilezan, Silvia
Loading...
3
0
20
0
false
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Subject
- 1 asynchronous multiparty session types | completeness | pi-calculus | session types | soundness | subtyping | typing systems
- 1 Bidirectional natural deduction | Co-control | Intersection types | Sequent calculus | Strong normalization
- 1 boehm separability | classical logic | delimited control | observational completeness
- 1 Caller ID applications | GDPR | Inverse privacy | Name sensitivity | Privacy policy | Privacy variables
- 1 Classical logic | Continuations | Functional programming | Intersection type
- 1 Classical logic | Curry-Howard correspondence | Intersection types | Union types | λ̄μμ̃-calculus
- 1 combinatory logic | classical propositional logic | simple types | axiomatization | semantics | soundness | completeness
- 1 COVID-19 | contact tracing | privacy
- 1 Covid-19 | Digital Contact Tracing | Structured Overlay Networks
- 1 Data Privacy | Blockchain | Contact Tracing
- next >
Date issued
Type
Results 61-80 of 84 (Search time: 0.003 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 61 | Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia | Intersection types for the resource control lambda calculi | 19-Sep-2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011; Johannesburg; South Africa; 31 August 2011 through 2 September 2011; 6916 LNCS; 116-134 | M33 |
| 62 | Ghilezan, Silvia ; Ivetić, Jelena; Lescanne, Pierre; Žunić, Dragiša | Intuitionistic sequent-style calculus with explicit structural rules | 1-Aug-2011 | Lecture 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-124 | M33 |
| 63 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka | Types for role-based access control of dynamic web data | 1-Jun-2011 | Lecture 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-29 | M33 |
| 64 | Ghilezan, Silvia | Computational interpretations of logic | 2010 | Higher Order Rewritting, July 14, 2010, Edinburgh, UK | |
| 65 | Ghilezan, Silvia | Resource control in sequent lambda calculus | 2010 | TYPES 2010, 13-16/10/2010, Warsaw, Poland | |
| 66 | Herbelin, Hugo; Ghilezan, Silvia | An approach to call-by-name delimited continuations | 1-Dec-2008 | Conference Record of the Annual ACM Symposium on Principles of Programming Languages; 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'08; San Francisco, CA; United States; 7 January 2008 through 12 January 2008; 383-394 | |
| 67 | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | A general technique for analyzing termination in symmetric proof calculi | 2007 | WST'07 - The 9th International Workshop on Termination, Paris, France, July 2007 | |
| 68 | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Intersection and union types in the λ̄μμ̃-calculus | 19-Jul-2005 | Electronic Notes in Theoretical Computer Science; 3rd International Workshop on intersection Types and Related Systems; 13 July 2004 through 13 July 2004; 136; 153-172 | |
| 69 | Dougherty, Dan; Ghilezan, Silvia ; Lescanne, Pierre | Characterizing strong normalization in a language with control operators | 1-Jan-2004 | Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04; 6th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04; Verona; Italy; 24 August 2004 through 26 August 2004; 155-166 | |
| 70 | Ghilezan, Silvia ; Likavec, Silvia | Extensions of the reducibility method | 2003 | PLS4 - The 4th Panhellenic Logic Symposium; 107-112 | M33 |
| 71 | Ghilezan, Silvia ; Likavec, Silvia | Reducibility: a ubiguitous method in lambda calculus with intersection types | 2002 | Electronic Notes in Theoretical Computer Science; Second Workshop on Intersection Types and Related Systems - ITRS '02, July 26 2002, Copenhagen, Denmark; 70 | M33 |
| 72 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | A lambda model characterizing computational behaviours of terms | 2001 | Rewriting in Proofs and Computation - RPC'01, Sendai, Japan, 2001; 100-118 | M32 |
| 73 | Ghilezan, Silvia | Types and confluence in lambda calculus | 2001 | 3rd Panhellenic Logic Symposium - PLS3, Crete, Greece (2001) | |
| 74 | Ghilezan, Silvia ; Kunčak, Viktor; Likavec, Silvia | Reducibility method for termination properties of typed lambda terms | 2001 | Extended abstracts of the 5th International Workshop on Termination, (WST'01); 5th International Workshop on Termination - WST'01, Utrecht, The Netherlands (2001); 14-16 | |
| 75 | Ghilezan, Silvia | Intersection types and topologies in lambda calculus | 2000 | Workshop on Intersection Types and Related Systems, (ITRS'00) Geneva, Switzerland (2000); Proceedings | M33 |
| 76 | Ghilezan, Silvia ; Kunčak, Viktor | Reducibility method in simply typed lambda calculus | 2000 | XIV Conference on Applied Mathematics PRIM, Palić, June 2000 | |
| 77 | Ghilezan, Silvia | Topologies in lambda calculus | 1999 | 2nd Panhellenic Logic Symposium, Delphi, Greece (1999); Proceedings; 102-106 | |
| 78 | Ghilezan, Silvia | Cut elimination in the simply typed lambda calculus | 1997 | Panhellenic Logic Symposium, Nicosia, Cyprus (1997); Proceedings; 21-24 | |
| 79 | Ghilezan, Silvia | Natural deduction versus sequent lambda calculus | 1997 | 3rd Barcelona Logic Meeting, Barcelona, Spain (1997); Proceedings | |
| 80 | Ghilezan, Silvia | Peirce's law and lambda calculus | 1992 | Proceedings of Logic and Computer Science, Novi Sad, Yugoslavia; 27-34 |
Results 1-2 of 2 (Search time: 0.0 seconds).
| Acronym | Title | Start date | Completion | P-Investigator |
|---|---|---|---|---|
| PROJECT 144029 | Models, Languages, Types, and Processes in Computing | 01-01-2006 | 31-12-2010 | Ghilezan, Silvia |
| PROJECT 174026 | Representations of logical structures and formal languages and their application in computing | 01-01-2011 | 31-12-2019 | Ghilezan, Silvia |