![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Simona Ronchi Della Rocca
Person information
- affiliation: University of Turin, Italy
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c42]Daniele Pautasso
, Simona Ronchi Della Rocca:
A Quantitative Version of Simple Types. FSCD 2023: 29:1-29:21 - 2021
- [j35]Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca:
Solvability = Typability + Inhabitation. Log. Methods Comput. Sci. 17(1) (2021) - [j34]Ugo Dal Lago
, Claudia Faggian, Simona Ronchi Della Rocca:
Intersection types and (positive) almost-sure termination. Proc. ACM Program. Lang. 5(POPL): 1-32 (2021) - [c41]Axel Kerinec, Giulio Manzonetto
, Simona Ronchi Della Rocca:
Call-By-Value, Again! FSCD 2021: 7:1-7:18 - 2020
- [c40]Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian:
Solvability in a Probabilistic Setting (Invited Talk). FSCD 2020: 1:1-1:17 - [i8]Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca:
Intersection Types and (Positive) Almost-Sure Termination. CoRR abs/2010.12689 (2020)
2010 – 2019
- 2019
- [j33]Giulio Manzonetto, Michele Pagani, Simona Ronchi Della Rocca:
New Semantical Insights Into Call-by-Value λ-Calculus. Fundam. Informaticae 170(1-3): 241-265 (2019) - [c39]Claudia Faggian, Simona Ronchi Della Rocca:
Lambda Calculus and Probabilistic Computation. LICS 2019: 1-13 - [i7]Claudia Faggian, Simona Ronchi Della Rocca:
Lambda Calculus and Probabilistic Computation. CoRR abs/1901.02853 (2019) - 2018
- [j32]Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca:
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus. Inf. Comput. 261: 55-77 (2018) - [j31]Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca:
Inhabitation for Non-idempotent Intersection Types. Log. Methods Comput. Sci. 14(3) (2018) - [i6]Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca:
Observability = Typability + Inhabitation. CoRR abs/1812.06009 (2018) - 2017
- [j30]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) - [j29]Luca Paolini
, Mauro Piccolo, Simona Ronchi Della Rocca:
Essential and relational models. Math. Struct. Comput. Sci. 27(5): 626-650 (2017) - [i5]Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca:
Inhabitation for Non-idempotent Intersection Types. CoRR abs/1712.03829 (2017) - 2016
- [j28]Simona Ronchi Della Rocca:
Preface. Inf. Comput. 248: 1 (2016) - [j27]Erika De Benedetti, Simona Ronchi Della Rocca:
A type assignment for λ-calculus complete both for FPTIME and strong normalization. Inf. Comput. 248: 195-214 (2016) - [c38]Simona Ronchi Della Rocca:
Intersection Types and Denotational Semantics: An Extended Abstract (Invited Paper). TYPES 2016: 2:1-2:7 - [i4]Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca:
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. CoRR abs/1611.07255 (2016) - 2015
- [j26]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: 363-364 (2015) - [c37]Anuj Dawar
, Dexter Kozen, Simona Ronchi Della Rocca:
The Ackermann Award 2015. CSL 2015: xv-xviii - [c36]Erika De Benedetti, Simona Ronchi Della Rocca:
Call-by-Value, Elementary Time and Intersection Types. FOPARA 2015: 40-59 - [c35]Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca:
Observability for Pair Pattern Calculi. TLCA 2015: 123-137 - [c34]Giulio Guerrieri
, Luca Paolini
, Simona Ronchi Della Rocca:
Standardization of a Call-By-Value Lambda-Calculus. TLCA 2015: 211-225 - 2014
- [c33]Patrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca:
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus. IFIP TCS 2014: 151-163 - [c32]Antonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca:
The Inhabitation Problem for Non-idempotent Intersection Types. IFIP TCS 2014: 341-354 - [i3]Erika De Benedetti, Simona Ronchi Della Rocca:
A type assignment for lambda-calculus complete both for FPTIME and strong normalization. CoRR abs/1410.6298 (2014) - 2013
- [e5]Simona Ronchi Della Rocca:
Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. LIPIcs 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-60-6 [contents] - 2012
- [j25]Elaine Pimentel
, Simona Ronchi Della Rocca, Luca Roversi
:
Intersection Types from a Proof-theoretic Perspective. Fundam. Informaticae 121(1-4): 253-274 (2012) - [j24]Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca:
An Implicit Characterization of PSPACE. ACM Trans. Comput. Log. 13(2): 18:1-18:36 (2012) - [c31]Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli:
Standardization in resource lambda-calculus. LINEARITY 2012: 1-11 - [c30]Erika De Benedetti, Simona Ronchi Della Rocca:
Bounding normalization time through intersection types. ITRS 2012: 48-57 - 2011
- [j23]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:
Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2011, Belo Horizonte, Brazil, 27 August 2011. EPTCS 81, 2011 [contents] - 2010
- [j22]Michele Pagani, Simona Ronchi Della Rocca:
Linearity, Non-determinism and Solvability. Fundam. Informaticae 103(1-4): 173-202 (2010) - [c29]Michele Pagani, Simona Ronchi Della Rocca:
Solvability in Resource Lambda-Calculus. FoSSaCS 2010: 358-373 - [c28]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
- [j21]Marco Gaboardi, Simona Ronchi Della Rocca:
From light logics to type assignments: a case study. Log. J. IGPL 17(5): 499-530 (2009) - [j20]Patrick Baillot, Jean-Yves Marion, Simona Ronchi Della Rocca:
Guest editorial: Special issue on implicit computational complexity. ACM Trans. Comput. Log. 10(4): 23:1-23:2 (2009) - [c27]Mariangiola Dezani-Ciancaglini
, Paola Giannini
, Simona Ronchi Della Rocca:
Intersection, Universally Quantified, and Reference Types. CSL 2009: 209-224 - [c26]Luca Paolini
, Mauro Piccolo, Simona Ronchi Della Rocca:
Logical Semantics for Stability. MFPS 2009: 429-449 - 2008
- [j19]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) - [c25]Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca:
A logical account of pspace. POPL 2008: 121-131 - [c24]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
- [j18]Luigi Liquori
, Simona Ronchi Della Rocca:
Intersection-types à la Church. Inf. Comput. 205(9): 1371-1386 (2007) - [c23]Marco Gaboardi, Simona Ronchi Della Rocca:
A Soft Type Assignment System for lambda -Calculus. CSL 2007: 253-267 - [c22]Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca:
Soft Linear Logic and Polynomial Complexity Classes. LSFA 2007: 67-87 - [e3]Simona Ronchi Della Rocca:
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 [contents] - 2006
- [c21]Luca Paolini
, Elaine Pimentel
, Simona Ronchi Della Rocca:
An Operational Characterization of Strong Normalization. FoSSaCS 2006: 367-381 - 2005
- [j17]Paolo Coppola, Simona Ronchi Della Rocca:
Principal Typing for Lambda Calculus in Elementary Affine Logic. Fundam. Informaticae 65(1-2): 87-112 (2005) - [c20]Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca:
Elementary Affine Logic and the Call-by-Value Lambda Calculus. TLCA 2005: 131-145 - 2004
- [b1]Simona Ronchi Della Rocca, Luca Paolini
:
The Parametric Lambda Calculus - A Metamodel for Computation. Texts in Theoretical Computer Science. An EATCS Series, Springer 2004, ISBN 978-3-642-05746-5, pp. 1-254 - [j16]Luca Paolini
, Simona Ronchi Della Rocca:
Parametric parameter passing Lambda-calculus. Inf. Comput. 189(1): 87-106 (2004) - [c19]Luigi Liquori
, Simona Ronchi Della Rocca:
Towards an Intersection Typed System à la Church. ITRS 2004: 43-56 - [c18]Luca Paolini
, Elaine Pimentel
, Simona Ronchi Della Rocca:
Lazy Strong Normalization. ITRS 2004: 103-116 - 2003
- [c17]Paolo Coppola, Simona Ronchi Della Rocca:
Principal Typing in Elementary Affine Logic. TLCA 2003: 90-104 - [c16]Luca Paolini
, Simona Ronchi Della Rocca:
Lazy Logical Semantics. COMETA 2003: 235-251 - 2002
- [c15]Simona Ronchi Della Rocca:
Intersection Typed lambda-calculus. ITRS 2002: 163-181 - 2001
- [c14]Simona Ronchi Della Rocca, Luca Roversi
:
Intersection Logic. CSL 2001: 414-428 - [e2]Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi:
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 [contents] - 2000
- [c13]Simona Ronchi Della Rocca:
Operational semantics and extensionality. PPDP 2000: 24-31
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]Luca Paolini
, Simona Ronchi Della Rocca:
Call-by-value Solvability. RAIRO Theor. Informatics Appl. 33(6): 507-534 (1999) - [j13]Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi:
The call-by-value [lambda]-calculus: a semantic investigation. Math. Struct. Comput. Sci. 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) - [c12]Olivier 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. Log. 86(3): 267-303 (1997) - [j10]Simona Ronchi Della Rocca, Luca Roversi
:
Lambda Calculus and Intuitionistic Linear Logic. Stud Logica 59(3): 417-448 (1997) - 1995
- [c11]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) - [c10]Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn:
Comparing Cubes. LFCS 1994: 353-365 - [c9]Adolfo Piperno, Simona Ronchi Della Rocca:
Type Inference and Extensionality. LICS 1994: 196-205 - 1993
- [j8]Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca:
Type Inference: Some Results, Some Problems. Fundam. Informaticae 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. Informaticae 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
- [c8]Lavinia Egidi
, Furio Honsell, Simona Ronchi Della Rocca:
The lazy call-by-value Lamda-Calculus. MFCS 1991: 161-169 - [c7]Paola Giannini
, Simona Ronchi Della Rocca:
Type Inference in Polymorphic Type Discipline. TACS 1991: 18-37 - 1990
- [c6]Furio Honsell, Simona Ronchi Della Rocca:
Reasoning About Interpretations in Qualitative λ-Models. Programming Concepts and Methods 1990: 505-522
1980 – 1989
- 1989
- [e1]Giorgio Ausiello, Mariangiola Dezani-Ciancaglini
, Simona Ronchi Della Rocca:
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 [contents] - 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. Inf. 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. RAIRO Theor. Informatics Appl. 13(3): 257-287 (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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 19:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint