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 boehm separability | classical logic | delimited control | observational completeness
- 1 Böhm separability | Classical logic | Delimited control | Observational completeness
- 1 Classical logic | Continuations | Functional programming | Intersection type
- 1 Classical logic | Curry-Howard correspondence | Intersection types | Union types | λ̄μμ̃-calculus
- 1 Classical logic | Intersection-types | Sequent calculus
- 1 classical logic | natural deduction | sequent calculus | normalisation | cut elimination
- 1 Discrete moments | Encoding | Multilevel threshold function | Multilinear partitions | Neural networks | Storage complexity
- 1 Dynamic web data | Pi-calculus | Security types | XML
- 1 Intersection types | Lambda calculus | Models of lambda calculus | Reducibility method | Stone dualities
- 1 lambda calculus | simple types | reducibility model
- next >
Type
Results 1-20 of 31 (Search time: 0.005 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Ghilezan, Silvia ; Likavec, Silvia | Computational interpretations of logics | 2009 | Zbornik Radova; 12(20); 159-215 | M14 |
2 | 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 | |
3 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka; Varacca, Daniele | Security types for dynamic web data | 8-Aug-2008 | Theoretical Computer Science; 402(2-3); 156-171 | M22 |
4 | Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena | Characterising strongly normalising intuitionistic sequent terms | 9-Jun-2008 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Conference on Types for Proofs and Programs, TYPES 2007; Cividale del Friuli; Italy; 2 May 2007 through 5 May 2007; 4941 LNCS; 85-99 | M23 |
5 | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | 28-May-2008 | Theoretical Computer Science; 398(1-3); 114-128 | M22 |
6 | Herbelin, Hugo; Ghilezan, Silvia | An approach to call-by-name delimited continuations | 1-Jan-2008 | ACM SIGPLAN Notices; 43(1); 383-394 | M23 |
7 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka | Security types for dynamic web data | 1-Dec-2007 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 2nd International Symposium on Trustworthy Global Computing, TGC 2006; Lucca; Italy; 7 November 2006 through 9 November 2006; 4661 LNCS; 263-280 | M23 |
8 | Ghilezan, Silvia ; Ivetić, Jelena | Intersection types for λGtz-calculus | 1-Dec-2007 | Publications de l'Institut Mathematique; 96; 85-91 | |
9 | Ghilezan, Silvia ; Pantović, Jovanka; Žunić, Joviša | Separating points by parallel hyperplanes-characterization problem | 1-Sep-2007 | IEEE Transactions on Neural Networks; 18(5); 1356-1363 | M21a |
10 | Ghilezan, Silvia ; Pantović, Jovanka; Žunić, Joviša | Partitioning finite d-dimensional integer grids with applications | 1-Jan-2007 | Handbook of Approximation Algorithms and Metaheuristics; 55-1 | |
11 | Ghilezan, Silvia | Terms for Natural Deduction, Sequent Calculus and Cut Elimination in Classical Logic. | 2007 | Reflections on Type Theory, Lambda Calculus and the Mind, Essays dedicated to Henk Barendregt | |
12 | 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 | |
13 | Ghilezan, Silvia ; Ivetić, Jelena | Intersection types for intuitionistic lambda-Gentzen calculus | 2007 | Publications de l'Institute Mathematique; 82(96); 159-164 | |
14 | 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 | |
15 | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre; Likavec, Silvia | Strong normalization of the dual classical sequent calculus | 1-Jan-2005 | Lecture 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-183 | M22 |
16 | Ghilezan, Silvia ; Lescanne, Pierre | Classical Proofs, Typed Processes, and Intersection Types Extended Abstract | 1-Dec-2004 | Lecture 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 2003; 3085; 226-241 | M22 |
17 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia | Behavioural inverse limit λ-models | 28-May-2004 | Theoretical Computer Science; 316(1-3); 49-74 | M22 |
18 | 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 | |
19 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Two behavioural lambda models | 1-Dec-2003 | Lecture 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 | |
20 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | A behavioural lambda model | 2003 | Schedae Informaticae Universitas Iagelonica; 12; 35-47 |
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 |