The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Silvia Ghilezan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002