Simona Ronchi Della Rocca

93 papers A* 6B 13C 1Misc 1Journal 44Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Principal Typing for Intersection Types, Forty-Five Years Later. CoRR Daniele Pautasso, Simona Ronchi Della Rocca
2025	B	`conf`	Strong normalization through idempotent intersection types: a new syntactical approach. MFPS Pablo Barenbaum, Simona Ronchi Della Rocca, Cristian Sottile
2023	B	`conf`	A Quantitative Version of Simple Types. FSCD Daniele Pautasso, Simona Ronchi Della Rocca
2021	B	`conf`	Call-By-Value, Again! FSCD Axel Kerinec, Giulio Manzonetto, Simona Ronchi Della Rocca
2021	J	`jnl`	Intersection types and (positive) almost-sure termination. Proc. ACM Program. Lang. Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
2021	J	`jnl`	Solvability = Typability + Inhabitation. Log. Methods Comput. Sci. Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
2020	J	`jnl`	Intersection Types and (Positive) Almost-Sure Termination. CoRR Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
2020	B	`conf`	Solvability in a Probabilistic Setting (Invited Talk). FSCD Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian
2019	A*	`conf`	Lambda Calculus and Probabilistic Computation. LICS Claudia Faggian, Simona Ronchi Della Rocca
2019	J	`jnl`	Lambda Calculus and Probabilistic Computation. CoRR Claudia Faggian, Simona Ronchi Della Rocca
2019	J	`jnl`	New Semantical Insights Into Call-by-Value λ-Calculus. Fundam. Informaticae Giulio Manzonetto, Michele Pagani, Simona Ronchi Della Rocca
2018	J	`jnl`	Characterizing polynomial and exponential complexity classes in elementary lambda-calculus. Inf. Comput. Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca
2018	J	`jnl`	Inhabitation for Non-idempotent Intersection Types. Log. Methods Comput. Sci. Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
2018	J	`jnl`	Observability = Typability + Inhabitation. CoRR Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
2017	J	`jnl`	Essential and relational models. Math. Struct. Comput. Sci. Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca
2017	J	`jnl`	Inhabitation for Non-idempotent Intersection Types. CoRR Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
2017	J	`jnl`	Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. Log. Methods Comput. Sci. Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
2016	J	`jnl`	A type assignment for λ-calculus complete both for FPTIME and strong normalization. Inf. Comput. Erika De Benedetti, Simona Ronchi Della Rocca
2016	—	`conf`	Intersection Types and Denotational Semantics: An Extended Abstract (Invited Paper). TYPES Simona Ronchi Della Rocca
2016	J	`jnl`	Preface. Inf. Comput. Simona Ronchi Della Rocca
2016	J	`jnl`	Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. CoRR Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
2015	—	`conf`	Call-by-Value, Elementary Time and Intersection Types. FOPARA Erika De Benedetti, Simona Ronchi Della Rocca
2015	—	`conf`	Observability for Pair Pattern Calculi. TLCA Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
2015	J	`jnl`	Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011. Sci. Comput. Program. Olha Shkaravska, Simona Ronchi Della Rocca, Marko C. J. D. van Eekelen
2015	—	`conf`	Standardization of a Call-By-Value Lambda-Calculus. TLCA Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
2015	B	`conf`	The Ackermann Award 2015. CSL Anuj Dawar, Dexter Kozen, Simona Ronchi Della Rocca
2014	J	`jnl`	A type assignment for lambda-calculus complete both for FPTIME and strong normalization. CoRR Erika De Benedetti, Simona Ronchi Della Rocca
2014	—	`conf`	Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus. IFIP TCS Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca
2014	—	`conf`	The Inhabitation Problem for Non-idempotent Intersection Types. IFIP TCS Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca
2013	B	`ed.`	Computer Science Logic 2013, CSL 2013, Torino, Italy, September 2-5, 2013 CSL Simona Ronchi Della Rocca
2012	J	`jnl`	An Implicit Characterization of PSPACE. ACM Trans. Comput. Log. Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
2012	—	`conf`	Bounding normalization time through intersection types. ITRS Erika De Benedetti, Simona Ronchi Della Rocca
2012	J	`jnl`	Intersection Types from a Proof-theoretic Perspective. Fundam. Informaticae Elaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi
2012	—	`conf`	Standardization in resource lambda-calculus LINEARITY Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli
2011	—	`ed.`	Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2011, Belo Horizonte, Brazil, 27 August 2011. LSFA Simona Ronchi Della Rocca, Elaine Pimentel
2011	J	`jnl`	Strong normalization from an unusual point of view. Theor. Comput. Sci. Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
2010	J	`jnl`	An Implicit Characterization of PSPACE CoRR Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
2010	—	`conf`	Intersection Logic in sequent calculus style ITRS Simona Ronchi Della Rocca, Alexis Saurin, Yiorgos Stavrinos, Anastasia Veneti
2010	J	`jnl`	Linearity, Non-determinism and Solvability. Fundam. Informaticae Michele Pagani, Simona Ronchi Della Rocca
2010	B	`conf`	Solvability in Resource Lambda-Calculus. FoSSaCS Michele Pagani, Simona Ronchi Della Rocca
2009	J	`jnl`	From light logics to type assignments: a case study. Log. J. IGPL Marco Gaboardi, Simona Ronchi Della Rocca
2009	J	`jnl`	Guest editorial: Special issue on implicit computational complexity. ACM Trans. Comput. Log. Patrick Baillot, Jean-Yves Marion, Simona Ronchi Della Rocca
2009	B	`conf`	Intersection, Universally Quantified, and Reference Types. CSL Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca
2009	B	`conf`	Logical Semantics for Stability. MFPS Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca
2008	A*	`conf`	A logical account of pspace. POPL Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
2008	J	`jnl`	Light Logics and the Call-by-Value Lambda Calculus CoRR Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
2008	J	`jnl`	Light Logics and the Call-by-Value Lambda Calculus. Log. Methods Comput. Sci. Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
2008	—	`conf`	Type Inference for a Polynomial Lambda Calculus. TYPES Marco Gaboardi, Simona Ronchi Della Rocca
2007	B	`conf`	A Soft Type Assignment System for CSL Marco Gaboardi, Simona Ronchi Della Rocca
2007	J	`jnl`	Intersection-types à la Church. Inf. Comput. Luigi Liquori, Simona Ronchi Della Rocca
2007	—	`conf`	Soft Linear Logic and Polynomial Complexity Classes. LSFA Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca
2007	—	`ed.`	Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings TLCA Simona Ronchi Della Rocca
2006	B	`conf`	An Operational Characterization of Strong Normalization. FoSSaCS Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
2005	—	`conf`	Elementary Affine Logic and the Call-by-Value Lambda Calculus. TLCA Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
2005	J	`jnl`	Principal Typing for Lambda Calculus in Elementary Affine Logic. Fundam. Informaticae Paolo Coppola, Simona Ronchi Della Rocca
2004	—	`conf`	Lazy Strong Normalization. ITRS Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
2004	J	`jnl`	Parametric parameter passing Lambda-calculus. Inf. Comput. Luca Paolini, Simona Ronchi Della Rocca
2004	—	`book`	The Parametric Lambda Calculus - A Metamodel for Computation Simona Ronchi Della Rocca, Luca Paolini
2004	—	`conf`	Towards an Intersection Typed System ITRS Luigi Liquori, Simona Ronchi Della Rocca
2003	—	`conf`	Lazy Logical Semantics. COMETA Luca Paolini, Simona Ronchi Della Rocca
2003	—	`conf`	Principal Typing in Elementary Affine Logic. TLCA Paolo Coppola, Simona Ronchi Della Rocca
2002	—	`conf`	Intersection Typed lambda-calculus. ITRS Simona Ronchi Della Rocca
2001	B	`conf`	Intersection Logic. CSL Simona Ronchi Della Rocca, Luca Roversi
2001	—	`ed.`	Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings ICTCS Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi
2000	C	`conf`	Operational semantics and extensionality. PPDP Simona Ronchi Della Rocca
1999	J	`jnl`	Alpha-Conversion and Typability. Inf. Comput. A. J. Kfoury, Simona Ronchi Della Rocca, Jerzy Tiuryn, Pawel Urzyczyn
1999	J	`jnl`	Call-by-value Solvability. RAIRO Theor. Informatics Appl. Luca Paolini, Simona Ronchi Della Rocca
1999	J	`jnl`	The call-by-value [lambda]-calculus: a semantic investigation. Math. Struct. Comput. Sci. Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi
1998	J	`jnl`	Structured Operational Semantics of a Fragment of the Language Scheme. J. Funct. Program. Furio Honsell, Alberto Pravato, Simona Ronchi Della Rocca
1998	—	`conf`	Structures for lazy semantics. PROCOMET Olivier Bastonero, Alberto Pravato, Simona Ronchi Della Rocca
1997	J	`jnl`	Comparing Cubes of Typed and Type Assignment Systems. Ann. Pure Appl. Log. Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn
1997	J	`jnl`	Lambda Calculus and Intuitionistic Linear Logic. Stud Logica Simona Ronchi Della Rocca, Luca Roversi
1995	—	`conf`	Categorical semantics of the call-by-value lambda-calculus. TLCA Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi
1994	J	`jnl`	A Type Inference Algorithm for a Stratified Polymorphic Type Discipline Inf. Comput. Paola Giannini, Simona Ronchi Della Rocca
1994	Misc	`conf`	Comparing Cubes. LFCS Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn
1994	A*	`conf`	Type Inference and Extensionality LICS Adolfo Piperno, Simona Ronchi Della Rocca
1993	J	`jnl`	Type Inference: Some Results, Some Problems. Fundam. Informaticae Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca
1992	J	`jnl`	An Approximation Theorem for Topological Lambda Models and the Topological Incompleteness of Lambda Calculus. J. Comput. Syst. Sci. Furio Honsell, Simona Ronchi Della Rocca
1992	J	`jnl`	Operational, denotational and logical descriptions: a case study. Fundam. Informaticae Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
1991	B	`conf`	The lazy call-by-value Lamda-Calculus. MFCS Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
1991	—	`conf`	Type Inference in Polymorphic Type Discipline. TACS Paola Giannini, Simona Ronchi Della Rocca
1990	—	`conf`	Reasoning About Interpretations in Qualitative λ-Models. Programming Concepts and Methods Furio Honsell, Simona Ronchi Della Rocca
1989	A*	`ed.`	Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings ICALP Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca
1988	A*	`conf`	Characterization of typings in polymorphic type discipline LICS Paola Giannini, Simona Ronchi Della Rocca
1988	J	`jnl`	Principal Type Scheme and Unification for Intersection Type Discipline. Theor. Comput. Sci. Simona Ronchi Della Rocca
1987	—	`conf`	An Unification Semi-Algorithm for Intersection Type Schemes. TAPSOFT, Vol.1 Simona Ronchi Della Rocca
1984	J	`jnl`	Principal Type Schemes for an Extended Type Theory. Theor. Comput. Sci. Simona Ronchi Della Rocca, Betti Venneri
1982	J	`jnl`	Characterization Theorems for a Filter Lambda Model Inf. Control. Simona Ronchi Della Rocca
1981	—	`conf`	Discriminability of Infinite Sets of Terms in the D CAAP Simona Ronchi Della Rocca
1979	J	`jnl`	A Discrimination Algorithm Inside lambda-beta-Calculus. Theor. Comput. Sci. Corrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti, Simona Ronchi Della Rocca
1979	J	`jnl`	Complexity of lambda-term reductions. RAIRO Theor. Informatics Appl. Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, Lorenza Saitta
1978	A*	`conf`	(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus. ICALP Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca
1974	—	`conf`	Listing of information structures defined by fixed-point operators. Symposium on Programming Corrado Böhm, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca