dblp.uni-trier.dewww.uni-trier.de

Simona Ronchi Della Rocca Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
49EEMariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca: Intersection, Universally Quantified, and Reference Types. CSL 2009: 209-224
48EEPatrick Baillot, Jean-Yves Marion, Simona Ronchi Della Rocca: Guest editorial: Special issue on implicit computational complexity. ACM Trans. Comput. Log. 10(4): (2009)
2008
47EEMarco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca: A logical account of pspace. POPL 2008: 121-131
46EEMarco Gaboardi, Simona Ronchi Della Rocca: Type Inference for a Polynomial Lambda Calculus. TYPES 2008: 136-152
45EEPaolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca: Light Logics and the Call-by-Value Lambda Calculus CoRR abs/0809.0195: (2008)
44EEMarco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca: Soft Linear Logic and Polynomial Complexity Classes. Electr. Notes Theor. Comput. Sci. 205: 67-87 (2008)
43EEPaolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca: Light Logics and the Call-by-Value Lambda Calculus. Logical Methods in Computer Science 4(4): (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
41EEMarco Gaboardi, Simona Ronchi Della Rocca: A Soft Type Assignment System for lambda -Calculus. CSL 2007: 253-267
40EELuigi Liquori, Simona Ronchi Della Rocca: Intersection-types à la Church. Inf. Comput. 205(9): 1371-1386 (2007)
2006
39EELuca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca: An Operational Characterization of Strong Normalization. FoSSaCS 2006: 367-381
2005
38EEPaolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca: Elementary Affine Logic and the Call-by-Value Lambda Calculus. TLCA 2005: 131-145
37EELuca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca: Lazy Strong Normalization. Electr. Notes Theor. Comput. Sci. 136: 103-116 (2005)
36EELuigi Liquori, Simona Ronchi Della Rocca: Towards an Intersection Typed System à la Church. Electr. Notes Theor. Comput. Sci. 136: 43-56 (2005)
35EEPaolo Coppola, Simona Ronchi Della Rocca: Principal Typing for Lambda Calculus in Elementary Affine Logic. Fundam. Inform. 65(1-2): 87-112 (2005)
2004
34EELuca Paolini, Simona Ronchi Della Rocca: Lazy Logical Semantics. Electr. Notes Theor. Comput. Sci. 104: 235-251 (2004)
33EELuca Paolini, Simona Ronchi Della Rocca: Parametric parameter passing Lambda-calculus. Inf. Comput. 189(1): 87-106 (2004)
2003
32EEPaolo Coppola, Simona Ronchi Della Rocca: Principal Typing in Elementary Affine Logic. TLCA 2003: 90-104
2002
31EESimona 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
29EESimona Ronchi Della Rocca, Luca Roversi: Intersection Logic. CSL 2001: 414-428
2000
28EESimona 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
13EELavinia 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
8EESimona 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
5EESimona 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
2EEMario 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

Coauthor Index

1Giorgio Ausiello [11]
2Patrick Baillot [48]
3Steffen van Bakel [19] [22]
4O. Bastonero [24]
5Corrado Böhm [1] [3]
6Mario Coppo [2]
7Paolo Coppola [32] [35] [38] [43] [45]
8Mariangiola Dezani-Ciancaglini [1] [2] [3] [4] [11] [49]
9Lavinia Egidi [13] [15]
10Marco Gaboardi [41] [44] [46] [47]
11Paola Giannini [10] [12] [16] [17] [49]
12Furio Honsell [13] [14] [15] [16] [23]
13Assaf J. Kfoury (A. J. Kfoury) [26]
14Ugo Dal Lago [38] [43] [45]
15Luigi Liquori [19] [22] [36] [40]
16Jean-Yves Marion [44] [47] [48]
17Luca Paolini [27] [33] [34] [37] [39]
18P. Peretti [3]
19Elaine Pimentel [37] [39]
20Adolfo Piperno [18]
21Alberto Pravato [20] [23] [24] [25]
22Antonio Restivo [30]
23Luca Roversi [20] [21] [25] [29] [30]
24Lorenza Saitta [4]
25Jerzy Tiuryn [26]
26Pawel Urzyczyn [19] [22] [26]
27Betti Venneri [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)