The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Simona Ronchi Della Rocca: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca
    Type Inference: Some Results, Some Problems. [Citation Graph (1, 0)][DBLP]
    Fundam. Inform., 1993, v:19, n:1/2, pp:87-125 [Journal]
  2. Simona Ronchi Della Rocca
    Discriminability of Infinite Sets of Terms in the Dinfinity-Models of the lambda-calculus. [Citation Graph (0, 0)][DBLP]
    CAAP, 1981, pp:350-364 [Conf]
  3. Simona Ronchi Della Rocca, Luca Roversi
    Intersection Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:414-428 [Conf]
  4. Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
    An Operational Characterization of Strong Normalization. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:367-381 [Conf]
  5. Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca
    (Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    ICALP, 1978, pp:142-164 [Conf]
  6. Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn
    Comparing Cubes. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:353-365 [Conf]
  7. Paola Giannini, Simona Ronchi Della Rocca
    Characterization of typings in polymorphic type discipline [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:61-70 [Conf]
  8. Adolfo Piperno, Simona Ronchi Della Rocca
    Type Inference and Extensionality [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:196-205 [Conf]
  9. Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
    The lazy call-by-value Lamda-Calculus. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:161-169 [Conf]
  10. Simona Ronchi Della Rocca
    Operational semantics and extensionality. [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:24-31 [Conf]
  11. O. Bastonero, Alberto Pravato, Simona Ronchi Della Rocca
    Structures for lazy semantics. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:30-48 [Conf]
  12. Corrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca
    Listing of information structures defined by fixed-point operators. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1974, pp:266-279 [Conf]
  13. Paola Giannini, Simona Ronchi Della Rocca
    Type Inference in Polymorphic Type Discipline. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:18-37 [Conf]
  14. Simona Ronchi Della Rocca
    An Unification Semi-Algorithm for Intersection Type Schemes. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1987, pp:37-51 [Conf]
  15. Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
    Elementary Affine Logic and the Call-by-Value Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    TLCA, 2005, pp:131-145 [Conf]
  16. Paolo Coppola, Simona Ronchi Della Rocca
    Principal Typing in Elementary Affine Logic. [Citation Graph (0, 0)][DBLP]
    TLCA, 2003, pp:90-104 [Conf]
  17. Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi
    Categorical semantics of the call-by-value lambda-calculus. [Citation Graph (0, 0)][DBLP]
    TLCA, 1995, pp:381-396 [Conf]
  18. Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn
    Comparing Cubes of Typed and Type Assignment Systems. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1997, v:86, n:3, pp:267-303 [Journal]
  19. Luigi Liquori, Simona Ronchi Della Rocca
    Towards an Intersection Typed System à la Church. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:43-56 [Journal]
  20. Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
    Lazy Strong Normalization. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:103-116 [Journal]
  21. Luca Paolini, Simona Ronchi Della Rocca
    Lazy Logical Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:104, n:, pp:235-251 [Journal]
  22. Simona Ronchi Della Rocca
    Intersection Typed lambda-calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:1, pp:- [Journal]
  23. Paolo Coppola, Simona Ronchi Della Rocca
    Principal Typing for Lambda Calculus in Elementary Affine Logic. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2005, v:65, n:1-2, pp:87-112 [Journal]
  24. Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
    Operational, denotational and logical descriptions: a case study. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1992, v:16, n:1, pp:149-169 [Journal]
  25. Paola Giannini, Simona Ronchi Della Rocca
    A Type Inference Algorithm for a Stratified Polymorphic Type Discipline [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1994, v:109, n:1/2, pp:115-173 [Journal]
  26. A. J. Kfoury, Simona Ronchi Della Rocca, Jerzy Tiuryn, Pawel Urzyczyn
    Alpha-Conversion and Typability. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:150, n:1, pp:1-21 [Journal]
  27. Luca Paolini, Simona Ronchi Della Rocca
    Parametric parameter passing Lambda-calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:189, n:1, pp:87-106 [Journal]
  28. Simona Ronchi Della Rocca
    Characterization Theorems for a Filter Lambda Model [Citation Graph (0, 0)][DBLP]
    Information and Control, 1982, v:54, n:3, pp:201-216 [Journal]
  29. Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, Lorenza Saitta
    Complexity of lambda-term reductions. [Citation Graph (0, 0)][DBLP]
    ITA, 1979, v:13, n:3, pp:- [Journal]
  30. Luca Paolini, Simona Ronchi Della Rocca
    Call-by-value Solvability. [Citation Graph (0, 0)][DBLP]
    ITA, 1999, v:33, n:6, pp:507-534 [Journal]
  31. Furio Honsell, Simona Ronchi Della Rocca
    An Approximation Theorem for Topological Lambda Models and the Topological Incompleteness of Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1992, v:45, n:1, pp:49-75 [Journal]
  32. Furio Honsell, Alberto Pravato, Simona Ronchi Della Rocca
    Structured Operational Semantics of a Fragment of the Language Scheme. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1998, v:8, n:4, pp:335-365 [Journal]
  33. Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi
    The call-by-value [lambda]-calculus: a semantic investigation. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:5, pp:617-650 [Journal]
  34. Simona Ronchi Della Rocca, Luca Roversi
    Lambda Calculus and Intuitionistic Linear Logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1997, v:59, n:3, pp:417-448 [Journal]
  35. Corrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti, Simona Ronchi Della Rocca
    A Discrimination Algorithm Inside lambda-beta-Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1979, v:8, n:, pp:265-292 [Journal]
  36. Simona Ronchi Della Rocca
    Principal Type Scheme and Unification for Intersection Type Discipline. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:59, n:, pp:181-209 [Journal]
  37. Simona Ronchi Della Rocca, Betti Venneri
    Principal Type Schemes for an Extended Type Theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:28, n:, pp:151-169 [Journal]
  38. Marco Gaboardi, Simona Ronchi Della Rocca
    A Soft Type Assignment System for lambda -Calculus. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:253-267 [Conf]
  39. Luigi Liquori, Simona Ronchi Della Rocca
    Intersection-types à la Church. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:9, pp:1371-1386 [Journal]

  40. Intersection, Universally Quantified, and Reference Types. [Citation Graph (, )][DBLP]


  41. Solvability in Resource Lambda-Calculus. [Citation Graph (, )][DBLP]


  42. A logical account of pspace. [Citation Graph (, )][DBLP]


  43. Type Inference for a Polynomial Lambda Calculus. [Citation Graph (, )][DBLP]


  44. Light Logics and the Call-by-Value Lambda Calculus [Citation Graph (, )][DBLP]


  45. An Implicit Characterization of PSPACE [Citation Graph (, )][DBLP]


  46. Soft Linear Logic and Polynomial Complexity Classes. [Citation Graph (, )][DBLP]


  47. Logical Semantics for Stability. [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