Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Simona Ronchi Della Rocca
2010 – today
- 2013
[e5]Simona Ronchi Della Rocca (Ed.): Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. LIPIcs 23, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2013, ISBN 978-3-939897-60-6- [i3]Erika De Benedetti, Simona Ronchi Della Rocca: Bounding normalization time through intersection types. CoRR abs/1307.8205 (2013)
- 2012
- [j31]Elaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi: Intersection Types from a Proof-theoretic Perspective. Fundam. Inform. 121(1-4): 253-274 (2012)
- [j30]Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca: An Implicit Characterization of PSPACE. ACM Trans. Comput. Log. 13(2): 18 (2012)
- [c23]Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli: Standardization in resource lambda-calculus. LINEARITY 2012: 1-11
- 2011
- [j29]Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca: Strong normalization from an unusual point of view. Theor. Comput. Sci. 412(20): 1903-1915 (2011)
- [e4]Simona Ronchi Della Rocca, Elaine Pimentel (Eds.): Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications. EPTCS 81, 2011
- 2010
- [j28]Michele Pagani, Simona Ronchi Della Rocca: Linearity, Non-determinism and Solvability. Fundam. Inform. 103(1-4): 173-202 (2010)
- [c22]Michele Pagani, Simona Ronchi Della Rocca: Solvability in Resource Lambda-Calculus. FOSSACS 2010: 358-373
- [c21]Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti: Intersection Logic in sequent calculus style. ITRS 2010: 16-30
- [i2]Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca: An Implicit Characterization of PSPACE. CoRR abs/1006.0030 (2010)
2000 – 2009
- 2009
- [j27]Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca: Logical Semantics for Stability. Electr. Notes Theor. Comput. Sci. 249: 429-449 (2009)
- [j26]Marco Gaboardi, Simona Ronchi Della Rocca: From light logics to type assignments: a case study. Logic Journal of the IGPL 17(5): 499-530 (2009)
- [j25]Patrick Baillot, Jean-Yves Marion, Simona Ronchi Della Rocca: Guest editorial: Special issue on implicit computational complexity. ACM Trans. Comput. Log. 10(4) (2009)
- [c20]Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca: Intersection, Universally Quantified, and Reference Types. CSL 2009: 209-224
- 2008
- [j24]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)
- [j23]Paolo 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)
- [c19]Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca: A logical account of pspace. POPL 2008: 121-131
- [c18]Marco Gaboardi, Simona Ronchi Della Rocca: Type Inference for a Polynomial Lambda Calculus. TYPES 2008: 136-152
- [i1]Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca: Light Logics and the Call-by-Value Lambda Calculus. CoRR abs/0809.0195 (2008)
- 2007
- [j22]Luigi Liquori, Simona Ronchi Della Rocca: Intersection-types à la Church. Inf. Comput. 205(9): 1371-1386 (2007)
- [c17]Marco Gaboardi, Simona Ronchi Della Rocca: A Soft Type Assignment System for lambda -Calculus. CSL 2007: 253-267
- [e3]Simona Ronchi Della Rocca (Ed.): Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4583, Springer 2007, ISBN 978-3-540-73227-3
- 2006
- [c16]Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca: An Operational Characterization of Strong Normalization. FoSSaCS 2006: 367-381
- 2005
- [j21]Luigi Liquori, Simona Ronchi Della Rocca: Towards an Intersection Typed System à la Church. Electr. Notes Theor. Comput. Sci. 136: 43-56 (2005)
- [j20]Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca: Lazy Strong Normalization. Electr. Notes Theor. Comput. Sci. 136: 103-116 (2005)
- [j19]Paolo Coppola, Simona Ronchi Della Rocca: Principal Typing for Lambda Calculus in Elementary Affine Logic. Fundam. Inform. 65(1-2): 87-112 (2005)
- [c15]Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca: Elementary Affine Logic and the Call-by-Value Lambda Calculus. TLCA 2005: 131-145
- 2004
- [j18]Luca Paolini, Simona Ronchi Della Rocca: Lazy Logical Semantics. Electr. Notes Theor. Comput. Sci. 104: 235-251 (2004)
- [j17]Luca Paolini, Simona Ronchi Della Rocca: Parametric parameter passing Lambda-calculus. Inf. Comput. 189(1): 87-106 (2004)
- 2003
- [c14]Paolo Coppola, Simona Ronchi Della Rocca: Principal Typing in Elementary Affine Logic. TLCA 2003: 90-104
- 2002
- [j16]Simona Ronchi Della Rocca: Intersection Typed lambda-calculus. Electr. Notes Theor. Comput. Sci. 70(1): 163-181 (2002)
- 2001
- [c13]
- [e2]Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (Eds.): Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings. Lecture Notes in Computer Science 2202, Springer 2001, ISBN 3-540-42672-8
- 2000
- [c12]
1990 – 1999
- 1999
- [j15]A. J. Kfoury, Simona Ronchi Della Rocca, Jerzy Tiuryn, Pawel Urzyczyn: Alpha-Conversion and Typability. Inf. Comput. 150(1): 1-21 (1999)
- [j14]
- [j13]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
- [j12]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)
- [c11]O. Bastonero, Alberto Pravato, Simona Ronchi Della Rocca: Structures for lazy semantics. PROCOMET 1998: 30-48
- 1997
- [j11]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)
- [j10]Simona Ronchi Della Rocca, Luca Roversi: Lambda Calculus and Intuitionistic Linear Logic. Studia Logica 59(3): 417-448 (1997)
- 1995
- [c10]Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi: Categorical semantics of the call-by-value lambda-calculus. TLCA 1995: 381-396
- 1994
- [j9]Paola Giannini, Simona Ronchi Della Rocca: A Type Inference Algorithm for a Stratified Polymorphic Type Discipline. Inf. Comput. 109(1/2): 115-173 (1994)
- [c9]Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn: Comparing Cubes. LFCS 1994: 353-365
- [c8]
- 1993
- [j8]Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca: Type Inference: Some Results, Some Problems. Fundam. Inform. 19(1/2): 87-125 (1993)
- 1992
- [j7]Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca: Operational, denotational and logical descriptions: a case study. Fundam. Inform. 16(1): 149-169 (1992)
- [j6]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
- [c7]Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca: The lazy call-by-value Lamda-Calculus. MFCS 1991: 161-169
- [c6]Paola Giannini, Simona Ronchi Della Rocca: Type Inference in Polymorphic Type Discipline. TACS 1991: 18-37
1980 – 1989
- 1989
- [e1]Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca (Eds.): Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings. Lecture Notes in Computer Science 372, Springer 1989, ISBN 3-540-51371-X
- 1988
- [j5]Simona Ronchi Della Rocca: Principal Type Scheme and Unification for Intersection Type Discipline. Theor. Comput. Sci. 59: 181-209 (1988)
- [c5]Paola Giannini, Simona Ronchi Della Rocca: Characterization of typings in polymorphic type discipline. LICS 1988: 61-70
- 1987
- [c4]Simona Ronchi Della Rocca: An Unification Semi-Algorithm for Intersection Type Schemes. TAPSOFT, Vol.1 1987: 37-51
- 1984
- [j4]Simona Ronchi Della Rocca, Betti Venneri: Principal Type Schemes for an Extended Type Theory. Theor. Comput. Sci. 28: 151-169 (1984)
- 1982
- [j3]Simona Ronchi Della Rocca: Characterization Theorems for a Filter Lambda Model. Information and Control 54(3): 201-216 (1982)
- 1981
- [c3]Simona Ronchi Della Rocca: Discriminability of Infinite Sets of Terms in the Dinfinity-Models of the lambda-calculus. CAAP 1981: 350-364
1970 – 1979
- 1979
- [j2]Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, Lorenza Saitta: Complexity of lambda-term reductions. ITA 13(3) (1979)
- [j1]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
- [c2]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
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:08 CEST by the dblp team