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