Simona Ronchi Della Rocca

Publication Activity (10 Years)

Years Active: 1974-2023
Publications (10 Years): 19

Top Topics

Programming Language

Relational Models

Lambda Calculus

Top Venues

Log. Methods Comput. Sci.

Publications

Daniele Pautasso, Simona Ronchi Della Rocca
A Quantitative Version of Simple Types. FSCD (2023)
Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
Intersection types and (positive) almost-sure termination. Proc. ACM Program. Lang. 5 (POPL) (2021)
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
Solvability = Typability + Inhabitation. Log. Methods Comput. Sci. 17 (1) (2021)
Axel Kerinec, Giulio Manzonetto, Simona Ronchi Della Rocca
Call-By-Value, Again! FSCD (2021)
Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian
Solvability in a Probabilistic Setting (Invited Talk). FSCD (2020)
Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
Intersection Types and (Positive) Almost-Sure Termination. CoRR (2020)
Claudia Faggian, Simona Ronchi Della Rocca
Lambda Calculus and Probabilistic Computation. LICS (2019)
Claudia Faggian, Simona Ronchi Della Rocca
Lambda Calculus and Probabilistic Computation. CoRR (2019)
Giulio Manzonetto, Michele Pagani, Simona Ronchi Della Rocca
New Semantical Insights Into Call-by-Value λ-Calculus. Fundam. Informaticae 170 (1-3) (2019)
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
Observability = Typability + Inhabitation. CoRR (2018)
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
Inhabitation for Non-idempotent Intersection Types. Log. Methods Comput. Sci. 14 (3) (2018)
Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus. Inf. Comput. 261 (2018)
Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca
Essential and relational models. Math. Struct. Comput. Sci. 27 (5) (2017)
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
Inhabitation for Non-idempotent Intersection Types. CoRR (2017)
Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. Log. Methods Comput. Sci. 13 (4) (2017)
Simona Ronchi Della Rocca
Intersection Types and Denotational Semantics: An Extended Abstract (Invited Paper). TYPES (2016)
Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. CoRR (2016)
Erika De Benedetti, Simona Ronchi Della Rocca
A type assignment for λ-calculus complete both for FPTIME and strong normalization. Inf. Comput. 248 (2016)
Simona Ronchi Della Rocca
Preface. Inf. Comput. 248 (2016)
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
Observability for Pair Pattern Calculi. TLCA (2015)
Olha Shkaravska, Simona Ronchi Della Rocca, Marko C. J. D. van Eekelen
Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011. Sci. Comput. Program. 111 (2015)
Erika De Benedetti, Simona Ronchi Della Rocca
Call-by-Value, Elementary Time and Intersection Types. FOPARA (2015)
Anuj Dawar, Dexter Kozen, Simona Ronchi Della Rocca
The Ackermann Award 2015. CSL (2015)
Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
Standardization of a Call-By-Value Lambda-Calculus. TLCA (2015)
Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
The Inhabitation Problem for Non-idempotent Intersection Types. IFIP TCS (2014)
Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus. IFIP TCS (2014)
Erika De Benedetti, Simona Ronchi Della Rocca
A type assignment for lambda-calculus complete both for FPTIME and strong normalization. CoRR (2014)
Erika De Benedetti, Simona Ronchi Della Rocca
Bounding normalization time through intersection types. ITRS (2012)
Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli
Standardization in resource lambda-calculus LINEARITY (2012)
Elaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi
Intersection Types from a Proof-theoretic Perspective. Fundam. Informaticae 121 (1-4) (2012)
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
An Implicit Characterization of PSPACE. ACM Trans. Comput. Log. 13 (2) (2012)
Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
Strong normalization from an unusual point of view. Theor. Comput. Sci. 412 (20) (2011)
Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti
Intersection Logic in sequent calculus style ITRS (2010)
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
An Implicit Characterization of PSPACE CoRR (2010)
Michele Pagani, Simona Ronchi Della Rocca
Linearity, Non-determinism and Solvability. Fundam. Informaticae 103 (1-4) (2010)
Michele Pagani, Simona Ronchi Della Rocca
Solvability in Resource Lambda-Calculus. FoSSaCS (2010)
Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca
Logical Semantics for Stability. MFPS (2009)
Marco Gaboardi, Simona Ronchi Della Rocca
From light logics to type assignments: a case study. Log. J. IGPL 17 (5) (2009)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca
Intersection, Universally Quantified, and Reference Types. CSL (2009)
Patrick Baillot, Jean-Yves Marion, Simona Ronchi Della Rocca
Guest editorial: Special issue on implicit computational complexity. ACM Trans. Comput. Log. 10 (4) (2009)
Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
Light Logics and the Call-by-Value Lambda Calculus. Log. Methods Comput. Sci. 4 (4) (2008)
Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
Light Logics and the Call-by-Value Lambda Calculus CoRR (2008)
Marco Gaboardi, Simona Ronchi Della Rocca
Type Inference for a Polynomial Lambda Calculus. TYPES (2008)
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
A logical account of pspace. POPL (2008)
Luigi Liquori, Simona Ronchi Della Rocca
Intersection-types à la Church. Inf. Comput. 205 (9) (2007)
Marco Gaboardi, Simona Ronchi Della Rocca
-Calculus. CSL (2007)
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
Soft Linear Logic and Polynomial Complexity Classes. LSFA (2007)
Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
An Operational Characterization of Strong Normalization. FoSSaCS (2006)
Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
Lazy Strong Normalization. Electron. Notes Theor. Comput. Sci. 136 (2005)
Paolo Coppola, Simona Ronchi Della Rocca
Principal Typing for Lambda Calculus in Elementary Affine Logic. Fundam. Informaticae 65 (1-2) (2005)
Luigi Liquori, Simona Ronchi Della Rocca
Church. Electron. Notes Theor. Comput. Sci. 136 (2005)
Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
Elementary Affine Logic and the Call-by-Value Lambda Calculus. TLCA (2005)
Luca Paolini, Simona Ronchi Della Rocca
Parametric parameter passing Lambda-calculus. Inf. Comput. 189 (1) (2004)
Luca Paolini, Simona Ronchi Della Rocca
Lazy Logical Semantics. Electron. Notes Theor. Comput. Sci. 104 (2004)
Paolo Coppola, Simona Ronchi Della Rocca
Principal Typing in Elementary Affine Logic. TLCA (2003)
Simona Ronchi Della Rocca
Intersection Typed lambda-calculus. Electron. Notes Theor. Comput. Sci. 70 (1) (2002)
Simona Ronchi Della Rocca, Luca Roversi
Intersection Logic. CSL (2001)
Simona Ronchi Della Rocca
Operational semantics and extensionality. PPDP (2000)
A. J. Kfoury, Simona Ronchi Della Rocca, Jerzy Tiuryn, Pawel Urzyczyn
Alpha-Conversion and Typability. Inf. Comput. 150 (1) (1999)
Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi
The call-by-value [lambda]-calculus: a semantic investigation. Math. Struct. Comput. Sci. 9 (5) (1999)
Luca Paolini, Simona Ronchi Della Rocca
Call-by-value Solvability. RAIRO Theor. Informatics Appl. 33 (6) (1999)
Furio Honsell, Alberto Pravato, Simona Ronchi Della Rocca
Structured Operational Semantics of a Fragment of the Language Scheme. J. Funct. Program. 8 (4) (1998)
O. Bastonero, Alberto Pravato, Simona Ronchi Della Rocca
Structures for lazy semantics. PROCOMET (1998)
Simona Ronchi Della Rocca, Luca Roversi
Lambda Calculus and Intuitionistic Linear Logic. Stud Logica 59 (3) (1997)
Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn
Comparing Cubes of Typed and Type Assignment Systems. Ann. Pure Appl. Log. 86 (3) (1997)
Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi
Categorical semantics of the call-by-value lambda-calculus. TLCA (1995)
Adolfo Piperno, Simona Ronchi Della Rocca
Type Inference and Extensionality LICS (1994)
Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn
Comparing Cubes. LFCS (1994)
Paola Giannini, Simona Ronchi Della Rocca
A Type Inference Algorithm for a Stratified Polymorphic Type Discipline Inf. Comput. 109 (1/2) (1994)
Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca
Type Inference: Some Results, Some Problems. Fundam. Informaticae 19 (1/2) (1993)
Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
Operational, denotational and logical descriptions: a case study. Fundam. Informaticae 16 (1) (1992)
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) (1992)
Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
The lazy call-by-value Lamda-Calculus. MFCS (1991)
Paola Giannini, Simona Ronchi Della Rocca
Type Inference in Polymorphic Type Discipline. TACS (1991)
Furio Honsell, Simona Ronchi Della Rocca
Reasoning About Interpretations in Qualitative λ-Models. Programming Concepts and Methods (1990)
Simona Ronchi Della Rocca
Principal Type Scheme and Unification for Intersection Type Discipline. Theor. Comput. Sci. 59 (1988)
Paola Giannini, Simona Ronchi Della Rocca
Characterization of typings in polymorphic type discipline LICS (1988)
Simona Ronchi Della Rocca
An Unification Semi-Algorithm for Intersection Type Schemes. TAPSOFT, Vol.1 (1987)
Simona Ronchi Della Rocca, Betti Venneri
Principal Type Schemes for an Extended Type Theory. Theor. Comput. Sci. 28 (1984)
Simona Ronchi Della Rocca
Characterization Theorems for a Filter Lambda Model Inf. Control. 54 (3) (1982)
Simona Ronchi Della Rocca
-Models of the lambda-calculus. CAAP (1981)
Corrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti, Simona Ronchi Della Rocca
A Discrimination Algorithm Inside lambda-beta-Calculus. Theor. Comput. Sci. 8 (1979)
Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, Lorenza Saitta
Complexity of lambda-term reductions. RAIRO Theor. Informatics Appl. 13 (3) (1979)
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)
Corrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca
Listing of information structures defined by fixed-point operators. Symposium on Programming (1974)