Simona Ronchi Della Rocca

Identifiers

• name variant Simona Ronchi Della Rocca 0.60 · backfill

Papers (5)

1. Lambda Calculus and Probabilistic Computation cs.LO · 2019 · author #2
2. Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus cs.LO · 2016 · author #3
3. A type assignment for lambda-calculus complete both for FPTIME and strong normalization cs.LO · 2014 · author #2
4. An Implicit Characterization of PSPACE cs.LO · 2010 · author #3
5. Light Logics and the Call-by-Value Lambda Calculus cs.LO · 2008 · author #3

Mentions

• 1006.0030 #3 · backfill · confidence 0.70 Simona Ronchi Della Rocca
• 0809.0195 #3 · backfill · confidence 0.70 Simona Ronchi Della Rocca

Frequent Coauthors

• Claudia Faggian 1 shared papers
• Erika De Benedetti 1 shared papers
• Giulio Guerrieri 1 shared papers
• Jean-Yves Marion 1 shared papers
• Luca Paolini 1 shared papers
• Marco Gaboardi 1 shared papers
• Paolo Coppola 1 shared papers
• Ugo Dal Lago 1 shared papers