Search the dblp DataBase

Publications of Author

1. Silvia Ghilezan
   Intersection Types and Topologies and Lambda Calculus. [Citation Graph (0, 0)][DBLP]
   ICALP Satellite Workshops, 2000, pp:303-304 [Conf]
   
2. Silvia Ghilezan, Viktor Kuncak
   Confluence of Untyped Lambda Calculus via Simple Types. [Citation Graph (0, 0)][DBLP]
   ICTCS, 2001, pp:38-49 [Conf]
   
3. Silvia Ghilezan
   Application of Typed Lambda Calculi in the Untyped Lambda Calculus. [Citation Graph (0, 0)][DBLP]
   LFCS, 1994, pp:129-139 [Conf]
   
4. Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec
   Strong Normalization of the Dual Classical Sequent Calculus. [Citation Graph (0, 0)][DBLP]
   LPAR, 2005, pp:169-183 [Conf]
   
5. Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne
   Characterizing strong normalization in a language with control operators. [Citation Graph (0, 0)][DBLP]
   PPDP, 2004, pp:155-166 [Conf]
   
6. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan
   Two Behavioural Lambda Models. [Citation Graph (0, 0)][DBLP]
   TYPES, 2002, pp:127-147 [Conf]
   
7. Silvia Ghilezan, Pierre Lescanne
   Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract. [Citation Graph (0, 0)][DBLP]
   TYPES, 2003, pp:226-241 [Conf]
   
8. Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne
   Intersection and Union Types in the lambda-my-my/tilde-calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:153-172 [Journal]
   
9. Silvia Ghilezan, Silvia Likavec
   Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:1, pp:- [Journal]
   
10. Silvia Ghilezan
    Generalized Finitness of Developments in Typed Lambda Calculi. [Citation Graph (0, 0)][DBLP]
    Journal of Automata, Languages and Combinatorics, 1996, v:1, n:4, pp:247-258 [Journal]
    
11. Silvia Ghilezan
    Full Intersection Types and Topologies in Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2001, v:62, n:1, pp:1-14 [Journal]
    
12. Henk Barendregt, Silvia Ghilezan
    Lambda terms for natural deduction, sequent calculus and cut elimination. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2000, v:10, n:1, pp:121-134 [Journal]
    
13. Silvia Ghilezan
    Inhabitation in Intersection and Union Type Assignment Systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1993, v:3, n:6, pp:671-685 [Journal]
    
14. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri
    The ``Relevance'' of Intersection and Union Types. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1997, v:38, n:2, pp:246-269 [Journal]
    
15. Silvia Ghilezan
    Strong Normalization and Typability with Intersection Types. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:1, pp:44-52 [Journal]
    
16. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec
    Behavioural inverse limit lambda-models. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:316, n:1, pp:49-74 [Journal]
    
17. 
    An approach to call-by-name delimited continuations. [Citation Graph (, )][DBLP]
    
    
18. 
    Security Types for Dynamic Web Data. [Citation Graph (, )][DBLP]
    
    
19. 
    Characterising Strongly Normalising Intuitionistic Sequent Terms. [Citation Graph (, )][DBLP]