Simona Ronchi Della Rocca - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Simona Ronchi Della Rocca' as author, editor, or advisor:

Linearity, Non-determinism and SolvabilityMichele Pagani, Simona Ronchi Della Rocca. FUIN, 103(1-4):173-202, 2010. [doi]
From light logics to type assignments: a case studyMarco Gaboardi, Simona Ronchi Della Rocca. igpl, 17(5):499-530, 2009. [doi]
The Inhabitation Problem for Non-idempotent Intersection TypesAntonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca. ifipTCS 2014: 341-354 [doi]
Observability for Pair Pattern CalculiAntonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca. tlca 2015: 123-137 [doi]
Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, ItalySimona Ronchi Della Rocca, editor, Volume 23 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]
Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011Olha Shkaravska, Simona Ronchi Della Rocca, Marko C. J. D. van Eekelen. SCP, 111:363-364, 2015. [doi]
Intersection Types from a Proof-theoretic PerspectiveElaine Pimentel, Simona Ronchi Della Rocca, Luca Roversi. FUIN, 121(1-4):253-274, 2012. [doi]
New Semantical Insights Into Call-by-Value λ-CalculusGiulio Manzonetto, Michele Pagani, Simona Ronchi Della Rocca. FUIN, 170(1-3):241-265, 2019. [doi]
Standardization of a Call-By-Value Lambda-CalculusGiulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca. tlca 2015: 211-225 [doi]
Essential and relational modelsLuca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca. mscs, 27(5):626-650, 2017. [doi]
PrefaceSimona Ronchi Della Rocca. iandc, 248:1, 2016. [doi]
Standardization and Conservativity of a Refined Call-by-Value lambda-CalculusGiulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca. lmcs, 13(4), 2017. [doi]
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-CalculusPatrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca. ifipTCS 2014: 151-163 [doi]
Reasoning About Interpretations in Qualitative λ-ModelsFurio Honsell, Simona Ronchi Della Rocca. ifip2 1990: 505-522
Solvability = Typability + InhabitationAntonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca. lmcs, 17(1), 2021. [doi]
A Quantitative Version of Simple TypesDaniele Pautasso, Simona Ronchi Della Rocca. fscd 2023: [doi]
Strong normalization from an unusual point of viewLuca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca. TCS, 412(20):1903-1915, 2011. [doi]
Inhabitation for Non-idempotent Intersection TypesAntonio Bucciarelli, Delia Kesner, Simona Ronchi Della Rocca. lmcs, 14(3), 2018. [doi]
Characterizing polynomial and exponential complexity classes in elementary lambda-calculusPatrick Baillot, Erika De Benedetti, Simona Ronchi Della Rocca. iandc, 261(Part):55-77, 2018. [doi]
Call-by-Value, Elementary Time and Intersection TypesErika De Benedetti, Simona Ronchi Della Rocca. FOPARA 2016: 40-59 [doi]
Solvability in a Probabilistic Setting (Invited Talk)Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian. fscd 2020: [doi]
Lambda Calculus and Probabilistic ComputationClaudia Faggian, Simona Ronchi Della Rocca. lics 2019: 1-13 [doi]
Intersection Types and Denotational Semantics: An Extended Abstract (Invited Paper)Simona Ronchi Della Rocca. TYPES 2018: [doi]
The Ackermann Award 2015Anuj Dawar, Dexter Kozen, Simona Ronchi Della Rocca. csl 2015: [doi]
Call-By-Value, Again!Axel Kerinec, Giulio Manzonetto, Simona Ronchi Della Rocca. fscd 2021: [doi]
Intersection types and (positive) almost-sure terminationUgo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca. PACMPL, 5(POPL):1-32, 2021. [doi]
An Implicit Characterization of PSPACEMarco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca. tocl, 13(2):18, 2012. [doi]
The Parametric Lambda Calculus - A Metamodel for ComputationSimona Ronchi Della Rocca, Luca Paolini. Texts in Theoretical Computer Science. An EATCS Series, Springer, 2004. [doi]
A type assignment for λ-calculus complete both for FPTIME and strong normalizationErika De Benedetti, Simona Ronchi Della Rocca. iandc, 248:195-214, 2016. [doi]

runs on WebDSL